M4
形式系の微妙なところhttp://d.hatena.ne.jp/m-hiyama-memo/20090828/1251438577 より（竹内本を参考）意味じゃなくて、もっぱら記号の話。 定数とarity 0の関数 関数と演算子 fooとfoo()の区別 関数の引数渡しのバリエーション：可変引数、省略とデフォルト…
モナド／コモナド関連の内容： 加群の公理とその絵図法（作用には別なシルシを使うが吉） 加群（アクション構造）の取り替え定理を絵算で計算すると 取り替え定理を応用する タートルの影 実数オフセッティングを四捨五入する 例外付き有界カウンター 加群と…
「Basic, Basic, Basic! なこと - 檜山正幸のキマイラ飼育記 メモ編」と「偏見、誤解、曲解など - 檜山正幸のキマイラ飼育記 メモ編」を一緒にした。Basic, Basic, Basic! なこと人生50年以上やって、やっと納得することもある。いやっ、これは若者に納得し…
追加分は最後。前置きとか予定とか（ほとんど）省略 スタンピング・モナド（or コモナド）に限定 現実のプログラミングやシステムとの関係を強調する ラップ／アンラップが基本的な道具だよ 目標は、トランザクション計算（エコ計算）の、作用付き両クライス…
<html> <head> <title>Turtle Monad</title> <script src="TurtleMonad.js" ></script> <script> var _canvas = null; var _ctx = null; function initCanvas() { _canvas = document.getElementById("canvas"); _ctx = _canvas.getContext('2d'); } </script> <style> #canvas {border: 1px sol…</head></html>
/* CyclicCounterMonad.js */ // オペレーション・モノイド var CounterOp = { // モノイド単位 unit : function() { return 0; }, // モノイド乗法 mult : function(x, y) { return x + y; } }; // カウンター・オブジェクト（シングルトン） var Counter =…
<html> <head> <title>Counter Monad</title> <script src="CounterMonad.js" ></script> </head> <body> <h1>Counter Monad</h1> </body> </html> /* CounterMonad.js */ // オペレーション・モノイド var CounterOp = { // 定数 UP : 117, // 'u' = upオペレーション DOWN : 100, // 'd' = downオペレーション // モノイド単位 u…
前置きとか予定とか省略だけど、ちょっとは言っておくと（＜省略してねー）： クライスリ圏はもちろんやるぞー でも自然変換をほとんど使わないよ なぜなら、スタンピング・モナド（or コモナド）に限定するから 気が向いたら一般論を少し入れるが、一般論の…
「当日にならないと資料を作れません」病で、今日になってやっているが： chimaira.org用に作った自家製wiki風記法で資料を書こうと思ったら、まったく忘れていた。 最近まで使っていたTrack wikiにしよう、っと、、、グエーッ、Creole Wikiと混乱してダメだ…
「モニャドセミナー4の予定：トランザクション計算のフレームワークとか」と「モニャドセミナー4の予定：訂正と補足」を集約して、わずかに変更。実務者のための圏論とモナド -- つう感じで練習、質疑応答、議論を強調したいので、スライド利用講義風のスタ…
