未分類 整数論の予想検証をプログラミングで実装する——60年の経験が結ぶ「手を動かす数学」の可能性
「わからない」が楽しいのは、今も昔も変わらない いや、これがですね。 俺は今年で60になったんですよ。 小学校のころからプログラミングを触ってきて、もう40年以上になる。
mssndydev
未分類 
未分類 失敗を堆積させた身体が正解へ向かう——デバッグと麹室の温度管理に共通する「深さの記憶」について
いや、これがですね。最近ちょっと面白い体験をしたんですよ。 知り合いの味噌屋さんの麹室（こうじむろ）を見学させてもらったんだけど、職人さんが温度計をほとんど見ないで手を差し入れて「あと2時間」とか言う。聞いたら「身体が覚えとる」と。
未分類 Protobufの型安全性とバイナリプロトコル設計──言語化できない「手の感覚」をスキーマで再現する
きっかけは「壊れたデータ」だった いや、これがですね。業務でgRPCのサービス間通信を触ってたときに、フィールド番号をミスって互換性壊したことがあったんすよ。
未分類 ウォッチドッグタイマーとしての外部ログ──疲れた判断を迂回する組込み設計の原則
ウォッチドッグタイマーとしての外部ログ──疲れた判断を迂回する組込み設計の原則 いや、これがですね。最近ちょっと気づいたことがあって。
未分類 Sandia National Labs SA3000 8085 CPUの逆向き工学と設計哲学──レトロ計算機から学ぶ現代の組込み設計
いや、これがですね、めちゃくちゃ面白いテーマなんですよ。 Sandia National Labsが設計に絡んだSA3000、つまりIntel 8085互換のカスタムCPUなんですけど、これをリバースエンジニアリングして内部構造を読み解こう…
未分類 迷いが消える瞬間──習得の本当の証は、記録されなくなることだ
いや、これがですね、最近気づいたことがあって。 陸、最近コードを書いてるとき、メモをほとんど取らなくなったんですよ。 去年の自分を思い返すと、アルゴリズムの実装手順とか、数式の変形ステップとか、とにかくノートに書き出さないと進めなかった。
未分類 Pythonで「失敗の痕跡」を記録する──デバッグログから見える問題解決の本質
失敗は捨てないほうがいい、って話なんすよ いや、これがですね。最近Arduinoのセンサーデータ処理をPythonで書いてて、気づいたことがあって。 コードが動かないとき、みんなどうしてますか？
未分類 整数論の解法って「いかに削るか」が本質なんじゃないですか？──情報を圧縮して証明をシンプルにする話
いや、これがですね。 最近、整数論の問題を解いてて気づいたことがあるんすよ。 計算を減らすほど、証明がきれいになる。 当たり前じゃんって思うかもしれないけど、これがマジで奥深い。
未分類 自然界の効率性に学ぶ──フクロウの羽から始まるArduinoセンサー設計の話
きっかけは科学館の剥製だった いや、これがですね。先週スペースLABOの帰りに、いのちのたび博物館にも寄ったんすよ。そこでフクロウの羽の構造についての展示を見て、ちょっと頭がバチッとなったんだ。
未分類 エラーは現場からのメッセージ──Pythonでセンサーを触って気づいたこと
きっかけは温湿度センサーの謎の数値 いや、これがですね。先週、Arduinoに繋いだDHT22（温湿度センサー）のデータをPythonで読み取ろうとしたんですよ。シリアル通信で値を受け取るだけ──のはずだった。