曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-04-17から1日間の記事一覧

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ弍「緒言」「命題と判断」(復習編)

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ壱「緒言」「命題と判断」(予習編) - 曇りなき眼で見定めブログ これの復習編です。 緒言 It is free from the deficiency of Russell's ramified theory of types, as regards the…

【今更ながら】(押井守ファンによる)『花束みたいな恋をした』の感想(徒然なるままに)

けっこう胸が締めつけられるというかなんというか、最後すっきりした感じで終ってよかったですよ。 あと相変らず清原果耶さんがいい感じの役で出てくる。 私は麦くんが言っていたような"責任"を負いたくないので人との関わりを最小限にしているのだなあ。そ…