四色定理

今日も stripSub2() を書いた。

今日は stripSub2() を書いた。 github.com

今日は stripSub1() を書いた。

四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。

四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub3() を書いた。

今回は RBS を更新した。 Ruby の型チェックは、RBS を書いて、steep check という流れだ。

四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub2() を書いた。

1:１３２人目の 素数さん 2015/10/19(月) 20:25:18.19 ID:6Fg+H+Hw.netフォイエルバッハ(Feuerbach)の定理三角形において その九点円は 内接円に内接し 傍接円に外接する。 これ以上素晴らしい定理はみたことがない他の定理はどれも汚いこれより素晴らしい定理があるか 2:１３２人目の素数さん 2015/10/19(月) 20:30:27.64 id:JQuWRZpQ.net俺はモーリーの定理かな3:１３２人目の素数さん 2015/10/19(月) 20:44:53.53 ID:6Fg+H+Hw.net>>2まあそれも美しいが、内接円と３つの傍接円という…

1: 風吹けば名無し 2018/11/05(月) 08:04:10.88 id:gzQVLRrr0ワイ「ほーん」 数学者「この予想を証明するのに百年かかりました」ワイ「ファッ！？」 なんやねん数学って… 3: 風吹けば名無し 2018/11/05(月) 08:04:41.98 id:US1GYlLL0何言ってだコイツ 4: 風吹けば名無し 2018/11/05(月) 08:05:21.38 id:gzQVLRrr0>>3ワイもそう思う 6: 風吹けば名無し 2018/11/05(月) 08:06:07.21 id:vSnLciIB0リーマン予想あくしろ 29: 風吹けば名無し 2018/11/…

四色定理の証明を Haskell にも移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip() を書いた。下位層はスタブだ。

四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub3() を書いた。

ここのところ『5分でたのしむ数学50話』を読んでました．ドイツの一般的な日刊新聞である『ディ・ヴェルト（Die Welt）』で連載された「五分間数学」という数学に関するコラムを集めた書籍です．著者は数学者のエアハルト・べーレンツ（Ehrhard Behrends）氏． 私はひとり暮らしを始めて以来，新聞を購読していないのでよく知らないのですが，こういった数学ないしは科学に関するコラムが日本の新聞でも連載されたことはあるのでしょうか．もしそれほどないのだとすると，これはドイツのサイエンス・リテラシーの高さがうかがえる事例だったりするのかなと思いました*1． それでこの数学コラムなのですが，著者は…

四色定理の証明を Ruby に移植している。 discharge と reduce という二つのプログラムがあって、今は reduce(可約性) をおこなっている。 今日は strip_sub2() を書いた。

2: １３２人目の素数さん 2017/03/22(水) 00:31:33.13 id:oDaHrJlh1+2+3+4+5+・・・・=-1/12 6: １３２人目の素数さん 2017/03/22(水) 17:27:40.72 id:ejp+wQzmホームランボールが股間に当たる確率は35万769分の1。2400年に1回のできごとらしい。 7: １３２人目の素数さん 2017/03/22(水) 19:03:26.25 id:lynJaHzl>>6身近に2連続で当たった人とかいるんですか？ 10: １３２人目の素数さん 2017/03/23(木) 01:14:22.48 ID:+I6C6T2de＾π…

1: 名無しさん＠おーぷん 20/10/23(金)19:15:24 id:ToVワイの独断と偏見で「面白い」「重要だ」「感動した」と思ったネタを選んだで 1(右) 四色定理2(三) ハムサンドイッチの定理3(二) 1+2+3+4+....=-1/124(一) モンティ・ホール問題5(遊) 大数の法則6(中) 巡回セールスマン問題7(左) 二人零和有限確定完全情報ゲーム8(指) ラムゼーの定理の系9(捕) フェルマーの最終定理先発 バナッハ・タルスキーのパラドックス中継 ヒルベルトの無限ホテル抑え ラッセルのパラドックス監督 ゲーデルの不完全性定理 4: 名無しさん＠おーぷん 20/10/23(…

バンソウさんのゲームマーケット2020秋の新作『サバンナテリトリー』を遊びました。 2人から4人で遊べるボードゲームです。

概要R-wakalang に投稿された質問を元にした小ネタ. タイトルの通り sf と ggplot2 パッケージを使ったコロプレス図 (色分け地図) の作成方法を紹介する*1. あまり R に習熟していない人向けにごく簡単な例だけを紹介する.関連する話を取り上げているページはいくつかあるが, おまけが多すぎたりしてエッセンシャルな部分が分かりにくと感じた. 自分も昔似たような話題でいくつか描いたが, 見返すとやはり冗長だったり, 方法が古くなりすぎたりしている.[R] [OpenStreatMap] 東京の道路データをグラフに要約する - ill-identified diary[R] Rで…

数学に四色問題という難題があった。地図を塗るのに何色必要かという数学問題。地図だから同じ色が接してはいけない。定理にすると、「平面グラフは4彩色可能である」となるそうな。この問題、十九世紀半ばに発見され、二十世紀に入り、コンピュータの力も借りて「可能」と証明された。以降、四色定理と呼ばれている。 もう一つ、ケーニヒスベルクの橋の問題。 18世紀の初め、プロシアのケーニヒスベルクを流れる川に七つの橋がかかっていて、「七つの橋を 二度通らずに，すべて渡る経路が存在するか」というもの。結局この問題、クイズの様な“一筆書き”のグラフ問題としてとして解決された。つまり一筆書きが可能であれば、ケーニヒスベ…