並列論理和の続きで真のエキスパート氏から教えていただいた話（の劣化コピー）。並列論理和は、逐次言語では定義できないけど「計算可能」な（並列言語では定義でき、領域理論でも連続になる）関数でしたが、その親戚というか兄弟です。MLで（実はHaskellで…

Twitterが流行っているから…というわけではありませんが、自己管理と、「大学教員の仕事ってどうなの？」という質問のためにちょっと書いてみました。形式は適当です。長いので、つまらなかったら飛ばしてください。(_ _) この日誌自体にかかった時間は微々…