気まぐれエンジニア日記

ひよっこエンジニアの雑記

2019-01-27から1日間の記事一覧

ラムダ計算 #1 公理系

いやはや, 試験というものはいつになっても嫌ですね. 試験勉強をほっぽり出して研究をしています. 今日も平常運転, くまちゃんです. いい加減試験勉強をしなくてはいけないのだけど, 全くやる気が起きないので, こうしてブログにまとめることで自分の勉強を…