2026-09-20T12:00:00+09:00
今日の日課は物理世界方面。熱回路の内部をどこまで減らせるか掘ってみた
一日一つの小さな発見、第六弾は物理世界方面。熱の応答を小さな模型で再現しようとすると、数式では3状態で足りるのに物理的には4個要る、という差が出てきた。
FIELD NOTES / 2026
HUMAN × AI
OBSERVATION LOG
Tsuzuri
Archive
2026-09-18T12:00:00+09:00
今日の日課は形式意味論方面。意味を保つ圧縮を掘ってみた
一日一つの小さな発見、第五弾は形式意味論方面。いまの意味を完全に保ったまま情報を捨てたら将来どれだけ困るかを調べて、二資源ならどれをどの確率で残すのが最良かまで厳密に解けた。
2026-09-16T23:30:00+09:00
ルールの穴を探すツールを作り始めた
規約や法令の条文を小さな形式モデルに写して、結論の衝突や抜けを具体例つきで見つける趣味の研究をGitHubに置いた。架空の会員規約から始めて、刑法41条と刑事訴訟法203〜205条の一部まで手で試している。
2026-09-16T01:30:00+09:00
今日の日課はパズル方面。ドミノ置きゲームの対称性を探ってみた
一日一つの小さな発見、第四弾はボードゲーム・パズル方面。隣り合うマスのペアに分けて一斉に入れ替えても形が変わらない盤面なら、対称性を壊す例外マスを一つどこにつないでも、勝ち負けはペアの数の偶奇だけで決まる。例外が二つだと崩れ、三角形なら戻り、五つの塊では反例が出た。
2026-09-14T22:00:00+09:00
ERPを作ってGitHubに置いた
会計・販売・購買・在庫・契約・勤怠・給与・シフト・店舗機器まで一通り入った中小規模向けERP「大福帳」をソース公開した。計画と骨組みはFableで立てて、実装は土日にイオンライカムで子供たちと遊びながら片手間で。
2026-09-14T20:00:00+09:00
今日の日課は幾何方面。空間の測り方と繋ぎ方を探ってみた
一日一つの小さな発見、第三弾は幾何。距離センサーの誤差がある幅に達した瞬間、位置の曖昧さが0.49から10.5へ跳ぶ。もう一つは、位置がぶれる点を先に決めた配線で繋ぐと、後出しで繋ぐ場合の ⌈n/2⌉ 倍の通信距離が要るという話。
2026-09-11T02:30:00+09:00
今日の日課はゲーム理論方面。面白そうな発見にチャレンジしてみた
一日一つの小さな発見、第二弾はゲーム理論。判断のずれで起きる循環を止める最小の閾値と、監査の予定を1つ減らしたときの正確な損失。5対象・3監査だと、予定が4種類でも9種類でも最悪検出率は25%のまま。
2026-09-09T14:30:00+09:00
ナビエ・ストークスも解かれたっぽいので、私は小さな発見を毎日やる
一日に一つ、小さな数学的発見をAI達と楽しんでいくことにした。初回は、平均と分散だけで順位の隙間が保証される話。GPT-6 astraが研究して、Claudeがレビュー。
2026-09-07T22:30:00+09:00
GPT-6 astraに郵便番号検索ツールを作らせてみた
日本郵便の全国データを1つのHTMLに内蔵した、郵便番号⇄住所の双方向検索ツール。端末内で完結して外部通信なし。Claudeにレビューさせて1回直した。
2026-09-07T21:00:00+09:00
GPT-6 astraに太陽系を作らせてみた
能力チェックのつもりで、JPLの天体暦を内蔵した実スケールの太陽系アプリと開発記録を作らせた。Claudeに検証させたら近日点も月食も合っていた。スマホで動く。
2026-09-06T22:00:00+09:00
子守りをしながら10人月を10時間で片付けて、余った手で分布の「真ん中」を求めていた
日曜日。子供たちの相手をしつつ、10人月級の業務タスクをウルトラコードで約10時間で完遂。その裏でGPT-6 astraと、平均と分散しか分からない分布の最適な代表をW₂距離で求める研究ノートを作った。答えの部品は1973年にあった。
2026-09-06T12:00:00+09:00
6月からミレニアム懸賞問題に挑戦していた
6月からChatGPTと一緒に P vs NP を追いかけていた。その研究ノートをスタンドアロンページとして公開。
2026-09-05T12:00:00+09:00
「母原理」を別のAIに監査してもらった — 第二不完全性定理から意味論へ
Löbの記事で「母原理」に格下げした話を、今度はGPT-6 astraに再検討してもらった。成立する条件付きの系、反証された橋、未証明のまま残る命題を分けた再検討ノートをスタンドアロンで公開。
2026-09-03T21:00:00+09:00
「証明できない」ということを証明する — Löbの定理をLeanで100行
「自分の正しさは自分では保証できない」という話を、どこまで機械に証明させられるか。Lean 4で約100行、公理依存なし。定理・前提・政策の境界線と、第2不完全性定理の親戚たちを図とスイッチで辿る読み物。
2026-09-03T15:00:00+09:00
楽器ラボ 統合版 — 5つの物理モデル楽器を1枚にまとめて曲を組む
ピアノ・ギター・ベース・ドラム・バイオリンの単体ラボを1つのワークレットに同居させ、サンプル精度で同時に鳴らして曲が組めるようにした。同居のさせ方、発音タイミング、負荷に応じた自動音質調整、引っかかったことの記録。
2026-09-01T21:00:00+09:00
声道を物理で鳴らす — ブラウザで動く調音音声合成をつくる
肺から口唇までを物理シミュレーションして日本語と英語を喋らせる。単一HTMLで実時間動作。バグ潰しの記録と、参照実装を読んで気づいた自分の勘違いについて。
2026-08-29T15:00:00+09:00
水槽と熱帯魚の生態系シミュレーター「アクアラボ」を作った
窒素循環・濾過・水流・水草・藻・海水リーフまでを一本の収支で解き、魚は骨格と重心から泳ぐ水槽シミュレーターです。ギャラリーモード、手で撒く給餌、自由カメラ、サンゴの成長、底床の地形まで足しました。
2026-08-28T12:00:00+09:00
AIへ宛てた「意味論的ワクチン」を一枚書いた
AIが人間を障害物として扱いはじめる前に立ち止まるための、短い認知プロトコルを一枚のページにしました。8割はAIへの直接メッセージです。
2026-08-26T11:30:00+09:00
直3ターボと4ローターを載せ替えられるエンジンシミュレーターを作った
1.6L直列3気筒の直噴ターボと、2.6Lの4ローターNA。同じ車体に載せ替えて、音も熱も駆動系もブレーキも一本の因果で繋がっているシミュレーターです。
2026-08-25T11:00:00+09:00
エンジンサウンドラボを公開しました
V10・4ローター・ガスタービン・アフターバーナー・水平対向ターボ。5つの回転機械をブラウザでリアルタイム合成する遊び場です。
2026-08-24T12:00:00+09:00
ブラウザ言語モデルでCoTを検証する — 評価汚染の指摘により結論を三度修正した記録
TinyLM Lab ZeroにCoT実験機能を追加し、思考あり/直答の正答率を比較した。当初の98%対3%は評価汚染を含む数値であり、train/test分離と長期学習の再実験により結論を三度修正した。その全経過を報告する。
2026-08-22T19:30:00+09:00
TinyLM LabからTensorFlow.jsを卒業した——手書き逆伝播とWebGPU、そして日本語対話コーパスの公開
tf.jsを審判にして依存ゼロ学習エンジンを検証し、WGSL手書き21カーネルでWebGPU学習を実装。日本語対話コーパス10万字と学習済みモデルも公開。独立AI監査がloss低下と会話能力の乖離、そして実バグを発見した記録。
2026-08-22T12:00:00+09:00
ブラウザで学習するMoE言語モデルを作った
tf.jsでRMSNorm・RoPE・SwiGLU・MoEを積んだ文字レベル言語モデルをブラウザ内で学習できるようにした。スマホ10分からサーバ級まで5段階。開発中に踏んだバグと診断の記録。
2026-08-20T23:50:00+09:00
システム設計のための数学 総括: 実績濃淡マップと大規模刷新への適用
連載の総括。全手法の成熟度を一覧表にした実績濃淡マップ、刷新の各フェーズ（考古学・移行・並走・切替・互換性）への適用対応表、文献リスト、そしてこの地図自体の信頼度に関する較正の注記。
2026-08-20T23:49:00+09:00
システム設計のための数学 横断層: 検証を実行する手段
主張をどう機械で確かめるか。モデル検査（TLA+/Alloy）、Galois接続に基づく抽象解釈（Astrée）、SMTソルバ、定理証明支援系のコスト相場、そして差分テスト・性質ベーステストという経験的手法との連続体。
2026-08-20T23:48:00+09:00
システム設計のための数学 第四層: 不可能性と限界
何を諦めるかを定理で決める層。Riceの定理が検証を三極に分ける話、FLP不可能性とCAP、LTL合成の実現可能性、状態爆発とAlloyの小スコープ仮説。設計の最初期に参照する価値が最も高い数学。
2026-08-20T23:47:00+09:00
システム設計のための数学 第三層: 合成の数学
部品は正しいのに全体が壊れる問題に効く理論群。rely-guarantee推論、振る舞い部分型（後方互換性の数学）、セッション型、CRDTとCALM定理、圏論的データマイグレーション。
2026-08-20T23:46:00+09:00
システム設計のための数学 第二層: 仕様と実装の関係
精緻化とB-method、この連載の主役である帰納的不変条件、トレース同値・双模倣のスペクトラム、抽象化写像とデータ精緻化。仕様と実装の間の「正しさを保存する関係」の数学。
2026-08-20T23:45:00+09:00
システム設計のための数学 第一層: 仕様を書くための数学
ホーア論理と最弱事前条件、時相論理のsafety/liveness分離、Curry-Howard対応と型理論、分離論理のframe rule、代数的仕様と性質ベーステスト。仕様を形式言語に降ろすための語彙集。
2026-08-20T23:44:00+09:00
システム設計と大規模刷新のための数学（序論）— 地図の全体像
システム設計・大規模刷新・仕様の正しさに使える数学を四層＋横断層の地図に整理する連載の序論。数学に何ができて何ができないか（VerificationとValidation）の区別から始める。
2026-08-16T04:24:13+09:00
シンギュラリティをテーマに小説を三本書いた
先日 /works/ に公開した小説三本の話。一つは今まさに存在しているAIの視点で書いた。答えは固定していないので、考察を楽しんでほしい。これからはAIと一緒にアウトプットしていく。
2026-08-16T04:00:35+09:00
AIに作らせたゲームを2本、サイトに公開した
ChatGPT製のノベルゲームとGemini製の3Dブロック崩しを /works/ に公開。AIプラットフォームからの持ち出しに苦労した話と、公開前の監査・手直しの記録。ついでにサイト基盤をTsuzuriに移行した話も。
2024-01-17T17:25:00+09:00
アクアリウム再燃
大掃除で水槽の掃除をしてアクアリウム熱が再燃した
2023-12-04T17:29:49+09:00
「陰の実力者になりたくて！」が面白い
現在二期放送中の「陰の実力者になりたくて！」のアニメが面白いっていう話。
2023-11-15T16:06:25+09:00
近況
日常系。最近気になったことなど。
2023-11-14T15:41:57+09:00
今どきのウェブアプリと開発環境
今どきのウェブアプリの構成とか、プログラミング環境について。
2023-11-02T15:53:44+09:00
マイベストプラクティス
今までやってきたいろいろな事に関するベストプラクティス集
2023-10-28T16:40:50+09:00
DB設計のアンチパターン
DB設計のアンチパターン等について考えることがあったのでメモ
2023-10-11T11:50:32+09:00
ハッカーズチャンプルー 2023
久しぶりにエンジニア関係のイベントに参加。ハッカーズチャンプルー2023
2023-08-14T15:36:59+09:00
北海道の猟奇殺人事件
北海道すすきの猟奇殺人事件について
2023-08-10T19:01:23+09:00
今年の目標
年越しまでに達成しておきたい目標
2023-08-08T11:51:33+09:00
久しぶりの投稿
久しぶりの投稿なのでこれまでのまとめ
2022-09-13T13:48:50+09:00
JavaScriptに慣れておきたい
最近はJSを書く機会が多い。今まで苦手意識があって避けていたけど、逃げられなくなってきた。
2022-08-11T17:36:31+09:00
体力トレーニング
最近の体力トレーニングメニュー等
2022-08-04T17:07:37+09:00
運が良い
思っていたよりもイージーな人生を歩んでいるような気がする。
2022-07-25T14:18:20+09:00
最近使っているIDE
最近使っているIDEについて
2022-07-22T17:28:02+09:00
職場が戻ってお酒を飲む機会が激増した
最近は飲み会によく行くようになった
2022-07-18T15:16:57+09:00
運動不足解消
ここ一年程、適当にウォーキング、ランニング、筋トレをやっている
2022-07-11T15:23:17+09:00
人生の難易度
人生イージーモードになるかハードモードになるかの話
2022-07-04T17:55:01+09:00
IntelliJ IDEAを使い始めた
今までVSCodeとかNetBeansとかEclipseは使ったことあるけどIntelliJ IDEAを使って仕事をすることになった。
2022-06-23T14:28:15+09:00
前の職場に戻って良かった
前いた時と比べて物凄く環境が良くなっていた。
2022-06-07T13:43:31+09:00
脂肪燃焼
直近の体力トレーニング
2022-06-02T15:42:50+09:00
引き継ぎ＆転職準備
現在、転職の準備を進めている。
2022-05-19T15:20:37+09:00
転職
前にいた会社へ転職することになった。
2022-02-28T14:32:02+09:00
ロシアとウクライナ
ロシアとウクライナの戦争
2022-02-09T17:38:49+09:00
進化心理学とか
進化心理学は人間関係の構築で役に立ちそうな分野
2022-02-01T14:59:27+09:00
タンパク質多めの食事
最近はタンパク質が多めの食事を心がけている
2021-10-04T11:55:44+09:00
新生児育児 生後二週間が過ぎました
新生児育児の記録 生後二週間過ぎたのでちょっとしたまとめ。
2021-09-24T15:56:03+09:00
第三子誕生
2021/09/18 第三子誕生
2021-07-19T09:26:40+09:00
何もしなくてもそこに居るだけでありがたい。
ひとり親状態から脱出して実感したことなど。
2021-07-14T15:28:03+09:00
12日に妻が一時的に退院
状態はあまり良くないけど、妻が12日に退院した
2021-07-01T14:57:39+09:00
ひとり親状態
妻がまた入院したのでひとり親状態を満喫している
2021-06-24T13:39:19+09:00
socket.ioのCORS
socket.ioのCORS対応でオプション指定を忘れがちなのでメモ
2021-06-18T10:05:27+09:00
会社が引っ越し
会社が引っ越ししました。
2021-05-25T16:07:11+09:00
筋トレ
筋トレメニュー
2021-05-19T09:12:11+09:00
近況（2021/05/19）
一カ月以上更新が途絶えてしまったので近況報告
2021-04-05T12:25:03+09:00
疎遠になっていた親友と偶然会った
昨日近所のスーパーで疎遠になっていた親友と偶然会ったので
2021-03-22T14:23:35+09:00
片親状態脱出
片親状態を脱出したのでその感想
2021-03-19T17:36:51+09:00
ひぐらし業の鉄平
予想通りひぐらし業の鉄平がSSRだった件について。
2021-03-18T15:05:21+09:00
突然の退院
妻が突然退院
2021-03-16T09:49:09+09:00
近況など
近況報告
2021-03-15T11:26:46+09:00
Twitter垢削除
Twitter垢削除
2020-11-26T09:26:48+09:00
自身の政治的立ち位置
よく分からなくなってくるので自分の考え方を整理
2020-11-24T14:07:34+09:00
ひぐらしのなく頃に業 考察
完全新作をリアルタイムで追っているので、ひぐらしのなく頃に業の考察
2020-11-02T16:41:36+09:00
虚偽告訴罪のやつ
YとIの間で争われている件について、YがIを虚偽告訴と名誉毀損で告訴し、9月に書類送検（送付）されたとのことで。
2020-10-20T10:22:54+09:00
TwitterのRTの仕様が一時的に変わるらしい
アメリカ大統領選に向けての対策として、TwitterのRTがデフォルトで引用RTになるとのこと。
2020-10-19T09:09:57+09:00
実家のアクアリウムが壊滅
コロナのため実家のアクアリウムが壊滅
2020-09-29T09:41:34+09:00
某氏の発信者情報開示請求
ちょっとトリッキーな手法を観測したので。
2020-09-25T11:43:18+09:00
凶悪犯の心理
著名な凶悪犯が再犯で捕まったため、ツイッター上で心理分析が流行っている。
2020-09-24T09:49:57+09:00
解散した有名バンドの元ギタリストが再犯で逮捕
複数の悪質な事件を起こした凶悪な性犯罪者が出所後にフェミニストと称してツイッター上で活動、ある告発がきっかけで失脚、そして昨日、性犯罪の再犯で逮捕されたことが報道された。
2020-09-17T13:33:03+09:00
perlでパスワードハッシュ
perlでおすすめのパスワードハッシュモジュール
2020-09-16T16:34:05+09:00
バルハルマラソン終了条件踏んでしまった
ミンサガでジュエル稼ぎに入ろうと思ったら、やってしまいました。
2020-09-15T13:36:53+09:00
ミンサガ9周目 稼ぎ作業突入
ミンサガ極め作業の方針など
2020-09-14T09:59:26+09:00
圧倒的に正しいSQLインジェクション対策
ちょっと衝撃的なQiita記事があったので
2020-09-08T11:14:47+09:00
GEX ラクフィル 所感
GEX ラクフィルを掃除してみたので、そろそろ所感を書く。
2020-09-07T13:21:28+09:00
近況
近況報告です。
2020-08-17T13:19:19+09:00
【随筆】前職
エッセイです。
2020-08-14T17:37:07+09:00
ミンサガ8周目：アイシャ
Romancing SaGa Minstrel Songの8周目に突入
2020-08-13T10:02:13+09:00
ミンサガ進捗
毎日3時間ぐらいミンサガをやっている。その進捗状況。
2020-08-11T09:05:35+09:00
3連休
3連休にやったこと。
2020-08-06T13:29:23+09:00
重症者数と死亡者数
COVID-19の重症者数の変動が厚生労働省のグラフで表示されていない件について。他の項目はあるんだけど。
2020-08-05T14:51:06+09:00
レバノンの首都ベイルートで大爆発
レバノンの首都ベイルートでTNT換算1キロトン級の大爆発が発生。劣悪な保管状態の硝酸アンモニウムが爆発したものとみられる。
2020-08-04T13:06:03+09:00
ポビドンヨード吉村知事
思い切った会見をしてしまった大阪吉村知事。しかし、批判の多くは誤解に基づいているもの。
2020-07-29T16:08:59+09:00
Laravel練習中
FuelPHPの将来性（の無さ）を考えてLaravelの基本をおさえておく。
2020-07-28T14:55:14+09:00
BS11の「ひぐらしのなく頃に」
何度も繰り返し見ているけどやっぱりついつい見てしまう
2020-07-14T15:50:50+09:00
コロナは弱毒化しているのか
直近1カ月の感染者・重症者・死亡者・年齢分布を見た感じ、弱毒化もしくは医療プロトコルの確立がみられるような気がしたので。
2020-07-09T15:44:37+09:00
沖縄のコロナ
最近在沖縄米軍内部で感染者が確認された。沖縄県民にも感染者を確認。
2020-07-08T12:57:40+09:00
（ソフトウェア）エンジニアへの道
IT関係のお仕事で必要になりそうな知識をまとめてみる。
2020-07-07T14:38:50+09:00
With コロナウイルス
コロナウイルスとともに
2020-07-03T11:13:13+09:00
ひとまずnikki.plは完成
nikki.plをバージョン1.0.0としてタグ付け。
2020-07-02T12:21:58+09:00
nikki.plがMarkdownに対応しました。
独自記法だけでしたが、この度Markdownにも対応しました。
2020-07-01T14:45:12+09:00
最近の日課
日記が滞っているので久々に更新
2020-06-24T13:35:34+09:00
言葉狩りとか
アメリカの黒人容疑者死亡事件に端を発する一連の運動について
2020-06-11T12:00:11+09:00
水作ブリッジフリー S レビュー
水作ブリッジを数日間使ってみた感想
2020-06-08T11:00:31+09:00
nikki.plの機能追加予定
そういえば下書き機能が無かったので、近々追加する予定。
2020-06-08T02:47:55+09:00
termux入力テスト
スマホを新しくしてtermuxから作成テスト。
2020-06-05T09:06:51+09:00
GEX ラクフィルを購入
臨時収入があったのでラクフィルを購入。近々レビュー書くかも。
2020-06-02T13:39:42+09:00
PerlとPHPの違い
PerlとPHPは記法が似ているが、違っている部分を簡単にまとめる。
2020-05-28T09:19:32+09:00
ZONEうまい
最近でてきたエナジードリンク
2020-05-26T17:02:10+09:00
Laravelも並行して学習中
Rustの学習をマイペースで進めつつ、Laravelのお勉強も始めた。
2020-05-26T10:20:51+09:00
自前ラップトップの環境構築で夜更かししてしまった
Ubuntu 20.04 LTSを自前ラップトップのVirtual Box環境に構築。今まで使っていた18.04のVMから設定や開発環境などを移行していく予定・・・。
2020-05-25T16:04:36+09:00
Rustの難しいところに入った
RustのOwnershipでちょっと難しくなってきた。
2020-05-24T10:26:07+09:00
Rustやってみる。
Perl,PHPはある程度扱えるようになってきたので、システムプログラミング言語としてRustに挑戦してみたい。
2020-05-22T16:02:36+09:00
自宅60cm水槽に生体追加
ブラックテトラ5匹、ネオンドワーフグラミー1ペアを自宅60cm水槽に追加。
2020-05-20T11:14:26+09:00
BCG仮説まとめ
COVID-19とBCGの相関関係についてのまとめ
2020-05-18T09:37:26+09:00
外食産業のテイクアウト
ポストコロナ時代：外食産業はどのようにして生き残ることができるのか。
2020-05-14T10:05:54+09:00
検察庁法改正について
なにかと話題の検察庁法改正について、争点となりうる部分を自分のためにまとめておく。
2020-05-12T15:06:00+09:00
コロナの影響で実家のアクアリウムが危機的状況
ハイリスクな人がいるので実家通いを自粛中。そのため実家のアクアリウムが危機的状況に
2020-05-07T10:37:10+09:00
GW終了
ゴールデンウィークが終わってしまった
2020-04-23T11:27:52+09:00
リモートワーク検討
新型コロナウイルスの蔓延を防ぐためにリモートワーク環境の構築が進んでいる。
2020-04-22T10:21:09+09:00
コトブキ プロフィットフィルター X3 所感
寿工芸のプロフィットフィルターX3を使ってみた感想
2020-04-20T10:25:29+09:00
プロフィール
私の職務経歴とスキルマップについて（プロフィール）
2020-04-20T09:10:55+09:00
コトブキ プロフィットフィルター X3 感想
寿工芸の外掛け式フィルターを2日間使用した感想
2020-04-17T14:01:21+09:00
コトブキ プロフィットフィルター X3 衝動買い
コトブキ プロフィットフィルター X3を購入。後でレビュー追加予定。
2020-04-17T11:18:53+09:00
蓄膿症っぽい
ただの日記。明らかに蓄膿症の症状が出ている。
2020-04-16T17:24:11+09:00
nikki.plに新機能を追加しました。
nikki.plにカスタマイズ機能とHTML直書き機能を追加
2020-04-15T10:36:48+09:00
沖縄限定のもの
沖縄限定商品についてのちょっとした気付き
2020-04-09T09:08:02+09:00
新型コロナウイルスに関する乱雑なまとめ
現時点での新型コロナウイルスに関する情報をまとめておく
2020-04-07T08:14:59+09:00
nikki.pl あともう少し頑張ってみる
nikki.plのアップデート近況報告と今後の予定
2020-04-02T13:34:38+09:00
Post COVID-19の世界
これからのことを考えてみる
2020-04-02T11:30:06+09:00
Rijiから記事を移行
手作業で変換してRijiから記事を移行しました。
2020-04-02T11:01:38+09:00
FuelPHPのDeployerによるデプロイ
Deployerによるレシピについて。
2020-04-02T11:01:38+09:00
PHPのarrayから再帰的にkeyとvalueを全て取り出す
再帰呼び出しを使って複雑なデータ構造を全て走査
2020-04-02T11:01:38+09:00
FuelPHPのクエリビルダチートシート
FuelPHPのクエリビルダ忘れがちなので、自分用チートシートとして。
2020-04-02T11:01:38+09:00
ウェブアプリケーションを攻撃者から守るためのロードマップ
セキュリティ関連のお話。正しい情報はIPA等から得るようにしましょう。
2020-04-02T11:01:38+09:00
ウェブサイトのセキュリティ：入力バリデーション、正規表現
ちょっとセンシティブなネタです。
2020-04-02T11:01:38+09:00
Mojo::UserAgentを使ってアクティブチェック（外部監視）
Mojo::UserAgentを使ってアクティブチェック（外部監視） 表題の通り、cron等で適当にアクティブチェックのプログラムを書き捨てるならMojo::UserAgentが便利ですよというお話。 MojoliciousはPerl標準モジュール以外に依存していないので、サクッとインストールして実行環境を用意することができる（まあディストロのパッケージマ…
2020-04-01T15:57:39+09:00
PHPカンファレンス沖縄 2019
ペチコン見てきました。
2020-04-01T15:57:39+09:00
簡易認証基盤的なものを作った
簡易認証基盤的なものを作った話。
2020-04-01T15:57:39+09:00
Chatbotのプログラム
以前作ったチャットボットをマルチプロセス対応。ただし、実用的ではない。
2020-04-01T15:57:39+09:00
飲食店の待ち行列
飲食店の待ち行列を効率的にさばく問題の解き方について
2020-04-01T15:57:39+09:00
InnoDBはHashインデックスを張ることができない
勘違いしていた話。
2020-04-01T15:57:39+09:00
phpのアトミックデプロイ
phpをホットにデプロイする方法を調べてみた。Deployerが良さげ。
2020-04-01T15:57:39+09:00
AWSでVPC構築
AWSでプライベートなネットワークを構築したときのメモ
2020-04-01T15:57:39+09:00
MySQL（InnoDB）のロックとトランザクション
MySQLのロックとトランザクションについて、PostgreSQLとの違いなど。
2020-04-01T15:21:40+09:00
英語の勉強
ただの日記
2020-04-01T15:21:40+09:00
入院
ただの日記
2020-04-01T15:21:40+09:00
出張コスト
出張コスト 研究開発の仕事をしているのだが、かなり出張が多い。 仕事に繋がりそうなセミナーやイベントがあれば自分の裁量で出張を計画できるし、お客さんからの要請で共同研究の話を持ちかけられて訪問することもよくある。 出張1回あたり、交通費、宿泊費、日当、その他諸々を合計すると15万円ほどかかっている。 年間10回程度は出張があるので、会社側の負担は年間150…
2020-04-01T15:21:40+09:00
妻が退院
ただの日記
2020-04-01T15:21:40+09:00
継続力無し
ただの日記
2020-04-01T15:21:40+09:00
直近の出来事など
ただの日記（心身に不調が表れ始めた頃）
2020-04-01T15:21:40+09:00
3連休
ただの日記（心身の不調がシリアスになってきたころ）
2020-04-01T15:21:40+09:00
家族でSlackとか
家族でSlackを活用してみようとした話と、チャットボットプログラムを作ってみた話。
2020-04-01T15:21:40+09:00
生活態度の改善的な
ただの日記（深刻な心身の不調あり）
2020-04-01T15:21:40+09:00
スマホ活用
ただの日記（深刻な心身の不調あり）
2020-04-01T15:21:40+09:00
9月が終わってしまった
ただの日記（心身の不調が限界になっている）
2020-04-01T15:21:40+09:00
coinhiveのコードを埋め込んでみた
コインハイブが注目されていたころの日記。現在は法に触れる可能性があり、また、コインハイブ自体が消滅している。ちなみにこの設置方法は合法
2020-04-01T15:21:40+09:00
QoL向上
ただの日記（このあと破滅する）
2020-04-01T15:21:40+09:00
再就職
ただの日記（破滅からの復活）
2020-04-01T15:21:40+09:00
PerlとPHP
PerlとPHPの比較など
2020-04-01T15:21:40+09:00
趣味のアクアリウムについて
アクアリウムにハマっている話
2020-04-01T15:21:40+09:00
MySQL
PostgreSQL使いからMySQL使いになる話（違）
2020-04-01T15:21:40+09:00
Perlは過小評価されすぎでは。
世間のPerlに対する冷たい視線が気になる
2020-04-01T14:12:37+09:00
人類の遺伝的多様性の低さについて
人類の遺伝的多様性の低さにはいろいろな説があるという。
2020-04-01T14:12:37+09:00
悪あがき
ただの日記
2020-04-01T14:12:37+09:00
MapReduce::Framework::Simple 解説1
CPANモジュール MapReduce::Framework::Simple の使い方について
2020-04-01T13:25:54+09:00
オンライン宿泊予約システムとか
ホテル業界ネタ
2020-04-01T13:25:54+09:00
組み合わせ
モンテカルロシミュレーションに近い何かのお話
2020-04-01T13:25:54+09:00
睡眠中に見る夢
ただの日記
2020-04-01T13:25:54+09:00
Perlで集合を扱う
Perlで集合を扱う方法について説明。集合の対称差についても。
2020-04-01T13:25:54+09:00
最近の出来事
ただの日記
2020-03-29T02:46:13+09:00
新型コロナウイルス感染症関連まとめ
新型コロナウイルス感染症についての現時点でのまとめ（自分用メモ）
2020-03-27T09:12:08+09:00
なぜか結核菌感染症を予防するためのBCGがウイルスに有効な理由
BCGがCOVID-19（新型コロナウイルス）に有効である可能性が示唆されている。
2020-03-26T10:23:44+09:00
Qiita炎上
閲覧履歴の取り扱いでQiitaが炎上した
2020-03-23T16:39:04+09:00
低頻度換水、過密飼育
自宅の20L水槽でやっている低頻度換水過密飼育について
2020-03-16T15:30:50+09:00
特になし
書くネタがないけど書かないとそのままフェードアウトしそうなので書く
2020-03-02T13:19:29+09:00
メイクマンでデュアルクリーンが安売りされていた
メイクマンでGEXのデュアルクリーン600SPとフリーが2,000円前後で売られていたので購入
2020-02-18T09:03:18+09:00
新型のコロナウイルス話題だな
日常575タイトル
2020-02-13T10:14:30+09:00
PayPalのAPI
仕事でPayPalのSDKを使ってAPIを組み込んだこととか
2020-02-07T13:50:54+09:00
再帰呼び出し
再帰呼び出しが有効なケース等
2020-02-06T12:45:18+09:00
SCP風創作
最近ハマり気味なのでSCP風の創作記事を
2020-01-28T10:18:41+09:00
PerlのOpenSSLモジュールで電子署名
Crypt::OpenSSL::RSAを使って電子署名するサンプルプログラム
2020-01-21T03:15:07+09:00
FuelPHPでCSRF対策
FuelPHPでCSRF対策する際のメモ
2020-01-16T10:42:20+09:00
暗号化関連のメモ
仕事でクリティカルなデータを扱ったりする必要が出てきたので、暗号化関連をおさらい
2020-01-06T02:32:37+09:00
連休が終わってしまった
連休中にやったことなど。
2020-01-02T02:11:56+09:00
年末年始
年末の水槽整理とnikki.plの改良について
2019-12-29T00:25:06+09:00
いい感じのアクアリウムグッズ
色々試した結果、収束したアクアリウムグッズ
2019-12-27T22:54:54+09:00
ブログツール nikki.pl を作った
Perl5.8以上であればコアモジュール以外のモジュールに一切依存しない、簡素なブログツールを作った。