2021-06-05から1日間の記事一覧
メイク・ビリーブの読書会(雑談)だ! フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 第6章では「参加」という言葉で子どものごっこ遊びと表象体の鑑賞との類似点と相違点を論じている。 ごっこ遊びに参加す…
「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ拾弐「集合族のデカルト積(途中から)」「定義による同等性」「デカルト積の応用(途中まで)」(復習編)
こちらの復習編。他の回はこちらから。 名前(name) 前回もそうだったが、プログラムの「名前(name)」というのがなんなのかよくわからない。計算機科学ではよくある言い回しなのだろうか。 名前はわかっているけど実際の計算はよくわからないようなプログ…