フローチャートからマゾ・テストまで - 檜山正幸のキマイラ飼育記 (はてなBlog)

http://twitter.com/ckuwata/status/4939817655 : 檜山さんとのミーティングは半分〜 1/4ぐらいは計算機科学の講義なのだが、今日は圏論とデータフローダイアグラムと「真のフローチャート」と「真の goto」についてだった。関連する論文を見つけたので読んでるが、 160p 近い英語論文で早くも泣きが入りつつある。 Kuwataさんが謎のような言葉をつぶやいているのだけど …… フローチャートとgotoについては、「イヂメられて石投げられるから人に話しちゃダメだよ」と言っておいたんだけどなぁ。まーいいや、この機会に述べておこう。おおっと、石投げるのはちょっと待ってよね。 内容： 口にしただけで忌み嫌われる フローチャート研究の歴史（断片） フローノミアルとネットワーク gotoと圏論的なオペレータ 僕の動機と根拠 マゾ・テスト 構文の問題とかナニヤラ

[kgbu]

gotoっちうか、ネットワーク代数をつかってCatyというframeworkをテストしたいという話らしいのだけど

[Nagise]

あとは逸脱した用法を抑制する、ヒューマンエラー対策を練り込んでgotoという表現をやめれば無問題？ :-)