仲野先生に感謝

Scrapbox に移行

型検査本当に完成

型検査完成

デバッグ地獄

Obsidian がいいかも

純粋関数は全てを解決する

Linter いつか作る

豊橋技術科学大学

break の扱い

GPT-4, The Mist, break

エラーの扱い

形式検証すごい

型検査ごりごり

数値型はややこゎしい

美容院に行った

文章を書くの難しい

Taro

5000 steps/day 歩きたい

意味動作完成

具象構文と抽象構文の沼

AST

今日、本当に 24 時間あったか？

error recovery

構文解析器完成

コンパイラコンパイラ

テスト耐えた

積ん読.push(抽象, 『パンセ』数学的思考)

大富豪が一番おもしろい

岸辺露伴

LL(k) と LR(k) の違いが分かった

英会話6000分

人類の栄光と苦労の到達した運命

無意識の部屋

制御工学の恐怖

通信工学

ここからが本番

計算ミス

The Doors

last nktk

テスト前夜

制御のノブをグリグリ。英語・国語をスラスラ。ChatGPTと熱く語る一日

テスト勉強

誤差 100 kcal

A second brain

定期券

映画観たい

上の親知らずは意外とあっさり抜ける

今日は快晴

字句解析器完成

節分

ocamllex

NFA→DFA

さようなら、1 月・インターン・親知らず

Go 力の低さ

ヂ。

課題を倒した

進捗なし

論理

Function URLs

砂丘またはビルドシステム

虚無

パターンマッチ

OCaml 楽しい

構造

気づいたら朝だった

保育園落ちた日本史A

ウエストランド

授業がおもしろい日

ほぼ読書メーター

今 敏

おいしくて楽しい

束縛 i

9 時間は寝ないと活動できない

もしかして PHP って Speakeasies？

冬休みが終わる

最高な一日

Hello OCaml!

1MB 制限と闘う

PL/0' コンパイラ完成

写経は終わった

楽しくて為になる写経

はじめての日報