Outline


文章

ことり、穂乃果と一緒に学ぶHaskell(入門)その1「代数的データ型の定義」 (here)

穂乃果「ことりちゃんって、たしかHaskell……やってたよね! だから教えて欲しくって。 ダメ……?」ウルウル

ことり(ううっ、穂乃果ちゃんにそんな顔されたら……ことりだって断れないよぅ)

ことり「わ、わかったよ! 大丈夫だよ、わたしにまかせて☆」

穂乃果「わぁ、ありがとうことりちゃん〜!」

...

ことり「穂乃果ちゃん、PCって今、持ってる?」

穂乃果「もちろん! 音ノ木坂の生徒はみんな学校から、ノートPCを貸し受けてるからね! よいしょっと」

ことり「うんうん。 じゃあちょっと見せてね。 ……よし、OSはArchLinux。 stackとテキストエディタは入ってるみたいだね」

...

...

Haskellでわかる群論の代数的構造 (here)

 皆さん、群は好きですか? 僕は大好きです。

 皆さん、Haskellは好きですか? 僕は大好きです。

この(内容的に)薄い本は「Haskellチョットワカルー」な人に向ける、

Haskellコードと一緒に群論の代数的構造とはどんなものかを見ていこう…というものです。

 群論の代数的構造を、Haskellの代数的データ構造として表すとどうなるか という趣旨を持って書いていきます。

お団子片手に、お茶のお供としてでもどうぞ、かる〜く読んでみてください。


プログラム

Twitter bot (made by Haskell) (here)

システム自体だ。僕はbotだ!!

— あいやゴリラ (@aiya_gorira) 2016年6月6日

矢澤にこ言語 (brainf*ck方言 / made by Hakell) (here)

Hello, world! コード
にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにこにーはみんなのもの!
笑顔届ける矢澤にこにこ!にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにー
笑顔届ける矢澤にこにこ!にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにー
笑顔届ける矢澤にこにこ!にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーだめだめだめっ!だめだめだめっ!だめだめだめっ!にこにーって覚えてラブニコ!キモチワルイ
笑顔届ける矢澤にこにこ!ぴょんぴょんぴょんっ!
笑顔届ける矢澤にこにこ!にっこにっこにーにっこにっこにーぴょんぴょんぴょんっ!にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーぴょんぴょんぴょんっ!ぴょんぴょんぴょんっ!にっこにっこにーにっこにっこにーにっこにっこにーぴょんぴょんぴょんっ!
笑顔届ける矢澤にこにこ!にこにーって覚えてラブニコ!ぴょんぴょんぴょんっ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!ぴょんぴょんぴょんっ!だめだめだめっ!にっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーにっこにっこにーぴょんぴょんぴょんっ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!ぴょんぴょんぴょんっ!にっこにっこにーにっこにっこにーにっこにっこにーぴょんぴょんぴょんっ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!ぴょんぴょんぴょんっ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!にこにーって覚えてラブニコ!ぴょんぴょんぴょんっ!
笑顔届ける矢澤にこにこ!にっこにっこにーぴょんぴょんぴょんっ!
にこ言語の感想・記録についてのスライド

スライド

圏論3分クッキング(ゆるふわ) (here)

category_zunko