くろょろぐ

はてダからはてブロに移行済み

構成メモ

論文というか読み物の構成をどうしようか、と考えている。 できる事なら、小学校高学年くらいの子供にも理解できるような内容にしたい。 ちゃんと書こうと思うと、いろいろ下調べする必要がでてきちゃうけど、僕自身がそれほど詳しく調べた事がないテーマを…

つーわけで、四色定理の証明のまとめ

今度こそ、四色定理をエレガントに証明する。 (追記:すんごい自信持って書き直したのに、間違ってる気がしてきました。ていうか間違ってる。なんか(頭が)おかしいなぁ…) (追記2024-03-26:間違いついでにせっかくだから、今日わかった事書く) 辺3彩…

四色定理と等価な行列の条件について

与えられた3正則グラフを、位数3の体上のサイクル頂点行列に対応させると、その行列は次のような性質を備える事になる。

サイクル頂点行列による四色定理の証明可能性

結論から言えば、「与えられた連結な3正則グラフが辺3彩色可能、すなわち、次数3の頂点のみからなる連結なグラフが辺3彩色可能ならば、そのグラフにさら次数2の頂点を丁度2個付け加えた連結なグラフもまた辺3彩色可能である」事と、四色定理は同値で…

方針転換

四色問題を考えるにあたって、頂点辺行列がそれなりに使える事を以前書いた。しかし頂点辺行列は位数2の体上で考える事ができるというメリットがある反面、問題を解くのに三つの連立方程式を同時に解かなければならないというデメリットがある。 四色問題を…

四色問題はエレガントに証明できるか(または、なぜエレガントに証明できないのか)?

ここ一年くらい、そんな事ばかり考えてるわけだけども。 3正則グラフからのアプローチは一旦少し諦めて、ケンプの証明にここまでの知見を活かしてみる事を考える。

多面体定理

凸多面体に於いて、頂点の数をV、辺の数をE、面の数をF、とすると、 V-E+F=2 という関係が成り立つ。 この関係をオイラーの多面体公式、またはオイラーの多面体定理というんだそう。平面グラフに於いても、グラフ全体を取り囲んでいる外側の領域も面の一つと…

オシロの修理したい

そもそもネットオークションでほとんどジャンクのオシロを(3台も)買ったのがいけないんだけど(爆)、暇が全然なくてちっとも修理できない。 1台はアッテネータの問題である事がわかっていて、恐らくソルダクラック。これさえ直せば普通に使えるはず。 …

四色問題ふたたび(もしくは、3正則グラフの辺3彩色問題)

地図の四色彩色問題が、境界線の三色彩色問題(すなわち、グラフの辺彩色)である事を示し、特に3正則グラフが辺3彩色可能となる条件について考察する。 これは論文の覚書みたいなもの。文体や図表、数式などはあとからちょくちょく加除添削する事になると…

電源修理

今回、ある機器の電源を修理する過程で故障個所を特定するまでの事をつらつらと。ほとんどの人には役に立ちません。

新電元MA2000シリーズの覚え書き

最近、古いスイッチング電源の修理をする機会を得て、その際に使われていたのが新電元MA2430でした。早速データシートのアーカイブを検索してみたのですが、満足な結果は得られません:一応データシートと銘打ったものは見つかりますが、絶対最大定格や推奨…

6502系

去年だったか一昨年だったか、つい衝動買いしてしまったWDCのマイコン。なぜかDigiKeyでは扱っていなくて、Mouserで購入したもの。以前から6502の16ビット拡張版である65816を入手したいと常々思っていたら、6502系はWDCで引き継いでCMOS版のW65C02S/W65C816…

うらやましいぞ。

俺と同じような事を考えてる人ってやっぱりいるんだなぁと思ったが、俺は考えるだけで実行までに届かないが、彼の方は実際に実行するのだから。うらやましいぞ。

メモ

https://prc68.com/I/Ultraviolet.html Russell's Random Thoughts: How to use the GTL3 Bulb: A Simple and Inexpensive UVC Source

パブー

ひさしぶりにブクログのパブーを覗いてみたら、なんかすごく寂しくなっていた。 やはり、一度はサービス終了を宣言してしまった事が尾を引いているのだろうか…。本や作家の発見がしづらくなっていて、なんかなげやりな感じ。書籍の検索はできるけど、本に出…

AppleIIふたたび

かなり以前(2005年頃かな)、MacOS用に書いたAppleIIエミュレータ。 FireOrgan/CEEMACをもう一度見たいというただそれだけのために始めた事だけど、俺の事なので相変わらず難航しているんだけども。 MacOS用をCarbon/MacOSX用に書きなおしてそのままほった…

更新してないのに

ひと月のページビューが100を超えた…?

Pubooがなくなる

個人向けの電子書籍作成頒布販売プラットフォーム「ブクログのパブー」が今秋に閉店だそうです。残念です。プロフィールからリンク外しました。 (追記)その後別会社に引き継がれましたが…→ パブー - くろょろぐ

三色問題を自力で解いてみた

三色問題(グラフの三彩色問題)は、与えれらたグラフの頂点を辺の両端で同じ色にならないように彩色する際に、彩色に最低限必要な色の数が三色以下かどうか、三色以下だったとしてどうやって彩色するか、を求める問題です。

はてなブログに移行

それほど活発に利用しているわけでもないけど、一応移行しました。

市民権

キーワードを編集しようとしたら、はてな市民じゃないから編集できないよ、みたいなメッセージが出たので、変だなと思ってはてなに問い合わせたら、返事が来る前に編集できるようになっていた。ああ、やっぱり障害だったのかな、と思ったが障害情報には一切…

まわってまわって…

最近はPropellerで遊んでます。

水銀

生きてるよってメモみたいなもの。 Mercurialを使ってみる事にした。 vim/gvimを使ってみる事にした。 Linuxを使ってみる事にした。 Korora Linux Linux Bean Nanolinux https://nanolinux.sourceforge.io/ Lubuntu Puppy Linux

あ、消えるんだっけか…

日本の漢和辞典に相当する、韓国朝鮮語での辞書(漢文を韓国朝鮮語で読み下すための辞書)は何と言うのでしょうか。… http://q.hatena.ne.jp/1478756017 コメントで2件の“回答”を寄せていただきました。 が、回答自体は無かったので、質問を閉じたらキャン…

無限列のふるまいについて考えていて、

ふと、こんな疑問にぶちあたってしまった。 質問の定義にあるように、0と1の二つの値のみからなる無限数列を考え、実数の無限小数展開になぞらえて、便宜上、無限に循環のあるものを「有理列」、ないものを「無理列」と呼ぶ事にする。さらに、以下の説明の…

また買ってしまった…

キングジム ハンディメモ マメモ TM2 ブラック×ブラック出版社/メーカー: キングジム(KINGJIM)発売日: 2011/06/17メディア: オフィス用品購入: 2人 クリック: 68回この商品を含むブログ (9件) を見る ↑のリンクは既に販売終了したブラック×ブラック版だけど…

あけおめ買い物

Bluetoothモバイルマウス買った…んだけど、電池蓋の仕上げがいまいちで簡単に外れてしまう。仕方ないので、カッターでバリを削ったり、爪を無理やり押し込んだりして、どうにか外れなくなった。こりゃたぶん、いずれネジ止めにしなきゃだな。でもまぁ、ケー…

ジャンクのギターアンプを買った。

ESP(エドワーズ)の自宅練習向け小型アンプ「E-GA-150EQ」。これを選んだ理由は、 程よい大きさで、ギターとベースの両方に対応。 440Hzトーン発振器、オーバードライブ(ただし不調)、5バンドグラフィックEQ付き。 CDプレーヤーなどを接続できる…

「ちょまど問題」

というのがなんか最近話題になってるらしいんだけども、単純化・一般化すると、こういう事らしい(「ちょまど問題」は、N=10、M=4、の場合): N桁のM進数の数当てゲームを考える(上位のゼロの桁も一桁に数える)。 挑戦者は1回の試行につき、「…

先週買った

USB接続のGM音源 歌うキーボード ポケット・ミク (大人の科学マガジンシリーズ)作者: 大人の科学マガジン編集部出版社/メーカー: 学研プラス発売日: 2014/04/03メディア: ムックこの商品を含むブログ (24件) を見る 一般には初音ミクの歌声ガジェットと認知…