でした。 初参加・久々参加の人が多くて、しかも皆さんパワフルだったので、異様に盛り上がりました。人数的にも、今の場所でやるようになってから最多でしたね。今回最もハードだったのは、primitive recursive な関数についての問題で、 初期関数 と な関…

一時、バックハンドの打点が前になってしまってうまく打てないスランプに陥ってたが、とりあえずネットは超える程度に復帰。でも今度はフォアが微妙になってしまって、ストロークが全体的におっかなびっくりになってしまった。 フットワークがダメ。以前から…

そのまま最終地へ突っ込んでいってクリアできそうな気がするが、とりあえずウロウロして魔法やら武器を買い揃える。モブが3つ追加されたので、惹かれるように灯台へ戻る。地下に行ったらちょっとヤバげだったので、上を目指してみるつもり。行き損ねたところ…

最近 indexed category と fibred category が頭の中でごっちゃになっていたところ、以前の日記のコメントでタナカさんが紹介してくれたレビューに面白い一説を発見した。以下引用。 There are two fairly obvious ways one could treat "indexing": thinkin…

久々にメインシナリオを進める。灯台クリアした。 でも途中すっとばしまくったので、途中何かあったに違いない。（特に、緑の炎を集めるところとその後の中層）