掛け算順序問題でオレンジは「小学校の算数に型システムをちゃんと導入すればいいじゃん！＞＜」って言ってるんだけど、それと全く逆の考え？かつ、掛け算順序に部分的賛成（？）である謎の情報系大学教員を見つけた・・・＞＜
式に単位を書かせるべきか(1) - わさっき http://d.hatena.ne.jp/takehikom/20110105/1294174727
単位なしの立式はミスのもと? - かけ算の順序の昔話 http://takexikom.hatenadiary.jp/entry/2018/02/27/062210
この人っぽい＞＜
村川猛彦 / 村川研究室 http://www.wakayama-u.ac.jp/~takehiko/
純粋数学大好き界隈の人が型システムを否定するならわかるんだけど、なぜ大学でプログラミングも教えてる准教授の人がそんな発想なんだろう？＞＜；
http://www.wakayama-u.ac.jp/~takehiko/research/programming.html
フォロー
型システムにあんまりたよらなそうな分野・・・？＞＜
http://www.wakayama-u.ac.jp/~takehiko/profile.html
"得意分野
・データベース設計，データモデリング
・Linux をはじめとするオープンソースソフトウェアの活用
・Apache HTTP Server, Apache Tomcat, Docker などを組み合わせたWebアプリケーション開発・運用
・C, Ruby, Java, JavaScript (Ajax) を用いたプログラミング
・TeX によるタイプセッティング
・SVG, PNG, JPEG などの2次元画像処理（以下略）"
