こんにちは、やきつか(@sy_t_)です。 最近はめっきり寒くなってきたのに、いつも半袖でいる知り合いがいて怖いです。 友人がHaskellで数値計算の記事を書いていて、全く同じ内容を書くのも面白いかな、といのうがこの記事の動機です。(友人の記事→Haskellで…

こんにちは! やきつか(@sy_t_)です。 最近やらなきゃいけないことが多いのですが、全然関係無いことをしてしまう自分に絶望してます。 はじめに 準備 オイラー法を実装する ローレンツアトラクタを見る 実行結果 まとめ はじめに Haskellの勉強中に、「オイ…

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

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

こんにちは、やきつか(@sy_t_)です。 大学に受かって暇なのでブログをはじめました(開設自体は1年前)。 せっかく研究で流体のシュミレーションをしているので最初はそれについて書いていくのも一興かなと。 とりあえずは、この記事を出発点として、MPS法の概…