funcmp
funcmp: Functional MetaPost is a Haskell frontend to the MetaPost language Functional MetaPost is a Haskell frontend to the MetaPost language by John Hobby. Users write their graphics as Haskell programs, which then emit MetaPost code that can be compiled into encapsulated PostScript files and smoothly included into e.g. LaTeX. A collection of useful examples how to use Functional MetaPost can be
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
これがジャパニメーション！ たった1日で全て見終わることができる、知っておけばアニメファンに一目を置かれる10作品 - 法華狼の日記
良い作品は、面白いからこそ先が気になってしまいますよね。 楽しむための作品で夜ふかししてしまったり、続きが気になって仕事が手につかなくなったりしては、効率的とはいえません。 それに、TVアニメは、どれだけ人気になっても1年もたてば話題の消費期限がすぎてしまいます。 そこで、時代をこえて評価されている知る人ぞ知る作品から、合計しても15時間以内に見終わることができる作品だけ、選ぶことにしました。 これから紹介する作品は、見たという作品が１つ増えるごとに、マニアックなアニメファンほど尊敬の目で見てくれること間違いないものばかりです。 基本的に私自身が複数回視聴し、ソフトも購入している作品から選びました。 『天使のたまご』71分 聖書をモチーフにした都市世界で、天使のたまごを孵化させようとする少女と、一人の少年兵が出会う、スタイリッシュなボーイ・ミーツ・ガール。 もちろんDVD化されています。大
rts · Wiki · Glasgow Haskell Compiler / GHC · GitLab
The Glorious Glasgow Haskell Compiler.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
