掛け算順序問題でオレンジは「小学校の算数に型システムをちゃんと導入すればいいじゃん!><」って言ってるんだけど、それと全く逆の考え?かつ、掛け算順序に部分的賛成(?)である謎の情報系大学教員を見つけた・・・><

式に単位を書かせるべきか(1) - わさっき d.hatena.ne.jp/takehikom/20110
単位なしの立式はミスのもと? - かけ算の順序の昔話 takexikom.hatenadiary.jp/entry

この人っぽい><
村川猛彦 / 村川研究室 wakayama-u.ac.jp/~takehiko/

フォロー

純粋数学大好き界隈の人が型システムを否定するならわかるんだけど、なぜ大学でプログラミングも教えてる准教授の人がそんな発想なんだろう?><;
wakayama-u.ac.jp/~takehiko/res

型システムにあんまりたよらなそうな分野・・・?>< 

wakayama-u.ac.jp/~takehiko/pro
"得意分野
・データベース設計,データモデリング
・Linux をはじめとするオープンソースソフトウェアの活用
・Apache HTTP Server, Apache Tomcat, Docker などを組み合わせたWebアプリケーション開発・運用
・C, Ruby, Java, JavaScript (Ajax) を用いたプログラミング
・TeX によるタイプセッティング
・SVG, PNG, JPEG などの2次元画像処理(以下略)"

ログインして会話に参加
:realtek:

思考の /dev/null