t_wの輪郭

世の情報学部生は型付きラムダ計算をやっとるらしく、やはり情報技術においては後輩に勝るものなしだなと。

ワシが学生の頃はラムダ計算のラの字もなかった。

情報工学についての授業

承前：あれ

Twさん情報系の企業にお勤めrににゃってるので所謂ER図とかガントチャートみたいにゃものに日常的に触れられる業務をされてると思うんですけど、それを日常生活にも援用して利便性を高められる事をよく行っているので個人的に私淑している。

業務上の情報処理で使える思考は日常生活にも応用できるっていう端緒がここにある

私淑されており、非常に得意な気持ちになった。

得意な気持ちついでに「現実と情報工学の同一性、あるいは応用可能性」に気づいた端緒を開陳すると、たしか西尾泰和の『エンジニアの知的生産術』で「TODOリストを優先度順に並び替える労力はうまくやらなければO(\(n^2\))になる。なぜなら配列のソートと同じだからだ。」という内容の文章を読んだとき。

そういうこともあって『作業表の作業に星をつけて並び替えると早く並び替えられる』みたいなことをやっている。

情報工学やってたら哲学になってきた

情報工学とは写像の学問なのかもしれない。