このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

2015-03-30から1日間の記事一覧

アローの3文字演算子と対角付きプレモノイド圏

雑記／備忘

アロー（Arrows; http://www.cse.chalmers.se/~rjmh/Papers/arrows.pdf）は、2000年前後にヒューズ（John Hughes）によって導入されたプログラミング手法／計算モデルです。これって面白いような、面白くないような？ 僕にとってアローは微妙な概念なんです…