)
CPL (圏論プログラミング言語) - Wikipedia
CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 元々定義されているデータ型が存在せず、何らかの関手の始双代数あるいは終双代数としてデータ型を定義する。プログラムあるいは関数[要曖昧さ回避]は射として、ポイントフリーの形式で記述する。関数の表し方としては射として表すものと冪対象として表すものの二通りがある。元々定義されている関数は恒等関数のみであり、元々定義されている制御構造は関数合成のみである。条件分岐や帰納法などはデータ型の定義に付随して定義される。
Introduction to Categorical Programming (Revised)
Masahiro Sakai's presentation at HAMA.jp <http: />. (revised version)Read less
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
圏論の話をiPadでしてきたよ＠FormalMethods勉強会 - bonotakeの日記
圏論がわかった気になる（でも本当の理解はできない）話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい！ ということで当日の資料。一部アップロードに失敗してるので後でアップし直す。 （変換に失敗して表示されないスライドが1枚ありますが、これは直前のスライドで示した2つの状態機械の間の対応関係を矢印で追加したものです。と、アップしなおすまでの場つなぎ） 追記：iPadで作ったスライドがiPadで見れない件をコメントにて指摘されましたので、とりあえずPDF版をダウンロードできるようにしました。→ PDF版 追記２：…このPDF、windowsで見られないですね。PDFへはKeyNote for iPadで直接変換したんだけど、iPad用フォン
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CiteSeerX
