世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。
ワシが学生の頃はラムダ計算のラの字もなかった。
型付きラムダ計算
2023/9/27 23:48:00
五十嵐淳『プログラミング言語の基礎概念』(サイエンス社)
2023/9/27 23:54:00
大堀淳『プログラム言語の基礎理論』 (共立出版)
2023/9/27 23:53:00
世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。
ワシが学生の頃はラムダ計算のラの字もなかった。