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

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

2021-06-05から1日間の記事一覧

ウォルトン『フィクションとは何か』読書会記録其ノ拾参・第6章(予習編)※『アウトレイジ ビヨンド』のネタバレを含みます

メイク・ビリーブの読書会(雑談)だ! フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 第6章では「参加」という言葉で子どものごっこ遊びと表象体の鑑賞との類似点と相違点を論じている。 ごっこ遊びに参加す…

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ拾弐「集合族のデカルト積(途中から)」「定義による同等性」「デカルト積の応用(途中まで)」(復習編)

こちらの復習編。他の回はこちらから。 名前(name) 前回もそうだったが、プログラムの「名前(name)」というのがなんなのかよくわからない。計算機科学ではよくある言い回しなのだろうか。 名前はわかっているけど実際の計算はよくわからないようなプログ…