置き去りになったメモ

数値計算、代数、関数型プログラミングとか?

代数学

Haskellで自然数から整数を構成する

こんにちは、やきつか(@sy_t_)です。 最近はとても暑いですね。僕は研究室の冷房強くしすぎてよくお腹を壊してるんですけど。 目次 目次 はじめに 自然数ってなんぞや (ペアノの公理) Haskellで自然数を実装する 自然数に二項演算を用意する 自然数が正しく…

楽しいゲーム 「宝石環(Gem-Ring)」と(-1)×(-1)=1

こんにちは、やきつか(@sy_t_)です。(-1)×(-1)=1を代数的構造を崩さずに(無価値なたとえ話にならないように)説明しようと考えてたところ、よくわからなくなったので、よくわからないまま記事にしました。暇な方はお付き合いください。 ゲームのルール 楽しい…