林さんの本 - 檜山正幸のキマイラ飼育記 メモ編にも書いたが、オーム社の林本がない。 戸田本「論理学をつくる」、これもだいぶ前から探している。 丹治本、タブローの本

小野寛晰『情報科学における論理』は、一番よく参照していたと思うが、ない。

竹内／八杉のあの『証明論』が見つからない。カット消去がちゃんと載っているのはアレくらいだろう。

高橋先生のラムダ計算の教科書 黒いコンパイラ作り方の本 アスキーのNgnx本 近藤基吉先生の本 石原先生の復刻テンソル本 赤とか緑のMake本 ／ NMakeとかについても書いてあった赤い本があったと思うが。

ペラペラ（5ミリくらい）のグラフ理論の本 ICレコーダのマニュアル

線形論理、領域理論、半関手 - 檜山正幸のキマイラ飼育記 メモ編 再度一部を印刷 - 檜山正幸のキマイラ飼育記 メモ編 これは紙袋に入っていた。紙袋とかビニール袋は鬼門。

プリンタで印刷した2枚の紙をなくした。印刷し直せばいいのだが、なくした状況が不可解。どうしてもなくなるとは思えない状況。なのに、なくなる。要するに僕は、しばしば意識が飛んでしまい、そのあいだの行動が意識で制御されてないのでサッパリ記憶にも残…

フーフマン論文が見つからない。しょうがないので、カロウビ展開圏のところを再度印刷した。

林晋さんの論理の本（オーム社だったか）に、カリー／ハワード対応が載っていたような気がする。この本ないなー。どこだ？

「信じられなーい！ 3」見つかった。コンビニ袋に、SPA! と一緒に"A diagrammatic approach to Hopf monads"が入っていた。ナルホド。紛れ込むパターンが多いのだな。特に、雑誌、書籍、他の書類のなかに紛れ込むことが多いようだ。

「ホップモナド、左右の随伴」に挙げた"A diagrammatic approach to Hopf monads"を印刷したんだけど、なくなった。いや、ほんとに信じられない。ウーン、、、研究の価値があるほどに謎の現象だ。

[紛失物]に書いてなかったヤツだが、なくした書類が出てきた。紙はステープラで閉じて、その紙束をクリップで閉じる。で、紛失物は他のクリップ閉じのなかに紛れ込んでいた。と、そうこうこともある。オリンパスのマニュアルもバラバラの紙束のなかにはさま…

もらった書類やプリンタで印刷した紙束の紛失が尋常じゃない。おかしい!? うちにはシュレッダーもブラックホールもないはずだが。

あんれー？ 全然知らないことが山盛り載っていた - 檜山正幸のキマイラ飼育記 メモ編 で触れた"Liniear logic, domain theory and semi-functors"が見あたらないなー。カロウビ展開圏（Karoubi envelope）が知りたいのだけど、、、、

オリンパスのICレコーダー、まだ使い方憶えてないし、、、バカか!? ＞自分[追記]あった。いったいどこに置いたら紛失しないのか？[/追記]

ベリー・オモローッと言っていたドウセン／ペトリック論文、ない。なくした。まー、これはプリンタで印刷し直せばいいのだが、我ながら驚くよ、あきれるよ。なんでなくすんだ。11ページのPDFならまだしも、書籍や書類でも同じようになくすからな。バカか!? …

フロベニウス代数が知りたい、このあいだまで手元にあったのだけどな？[追記]あったーっ。椅子の横に置くことにした。[/追記]

モーテル問題、たしかお見合い問題とも言ったと思うが、それについて書かれていたサイエンス社のムック。物理か確率過程のムックだと思う。

雑誌かムックで、はてな認証について書かれたヤツ。

これは元々手元にはないのだが、田舎の倉庫にある可能性が多少は残っている。僕にとっては、あれは名著だ。

あったはずだ。どこにいった？？ とりあえず、簡単なスタックマシンの仕様がみたい。ヴィルトのは簡単すぎるし。

探しても見つからないモノを書く。見つかれば消すだろう。