選択と集中
今日も朝からアジトで勉強していたが、うつらうつら眠気に襲われ、ほとんど勉強にならなかった。ちょっと読む本を選別して選択と集中を図る。
「よくわかるトポロジー」（山本修身著）を追加。これで何とかトポロジーを理解してホモロジー代数を克服したい。
「プログラム意味論」（横内寛文著）を追加。関数型言語、ラムダ算法と圏論の結びつきをもう少し深堀りして理解する。
何とかこれで頑張りたい。
今日の進捗。
・「ゲーテルと20世紀の論理学１」（P.70/214読了）
・「はじめてのトポロジー」（P.116/210読了）
・「じっくり学ぶ曲線と曲面」（P.118/328読了）
・「よくわかるトポロジー」（山本修身著）（未読）
・「プログラム意味論」（横内寛文著）（未読）
今日も朝からアジトで勉強していたが、うつらうつら眠気に襲われ、ほとんど勉強にならなかった。ちょっと読む本を選別して選択と集中を図る。
「よくわかるトポロジー」（山本修身著）を追加。これで何とかトポロジーを理解してホモロジー代数を克服したい。
「プログラム意味論」（横内寛文著）を追加。関数型言語、ラムダ算法と圏論の結びつきをもう少し深堀りして理解する。
何とかこれで頑張りたい。
今日の進捗。
・「ゲーテルと20世紀の論理学１」（P.70/214読了）
・「はじめてのトポロジー」（P.116/210読了）
・「じっくり学ぶ曲線と曲面」（P.118/328読了）
・「よくわかるトポロジー」（山本修身著）（未読）
・「プログラム意味論」（横内寛文著）（未読）
