次第に

卒論の構想*1が発散してきました。やばい。何とかして簡略化しないと手に負えない。でも下手に簡略化すると DTAL のサブセットに落ちるような…。困った。
どこからかアブストが書けたとかいう意味の分からない呪文が聞こえてきたような気がしますが、やっぱり意味が分かりません。

*1:型付きアセンブリ風味の話。実際には「卒論生ミーティングで取り扱っているテーマ」というだけのことなんだけど、まぁ多分これを卒論にするだろうなぁ、と。