×BaKaMo ○BaKoMa 誰が馬鹿だ、誰が。

昨日数学ガールに影響されたのか、Eulerフォント(AMS Euler)を探していた。
AMS(アメリカ数学会 (American Mathematical Society))のサイト内のページに到着しAMS FontをダウンロードしたはいいがどうやらTeX用なのか(あまりこの辺は詳しくないんだ)、とりあえずTeX以外で使うには適さない形だった(?)。

さらに探すとオイラーの名を受け継ぐ書体　AMS Euler by Inquisitorというページを発見。そこからInstallation of dviout (Windows95/98/Me/NT/2000/XP)へ。どうやらBaKoMaというものがあるらしいのでダウンロード。

そのなかのeu[a-z]{2}\d{1,2}.ttf(変な書き方失礼。要はeuから始まるもの)がEulerのものと思われる。普通の英数字のものならeurm10.ttfあたりか。eurbは太字。
で、eurm10.ttfを少し使ってみてのメモ
・半角の:や;がない。というか別の文字になっている。
・同じくいろいろな記号が別の記号になっている。主に数学記号に。

まあ、元TeX用？だしねー。

ん、いろいろ見ているとmsbmのA-Zが黒板太字だな。黒板太字とは実数の全体とか自然数の全体を表すときのあれの字体。なんかローマン体を白く抜いてある感じの･･･ってよく分からないか。

「「数学ガール/ゲーデルの不完全性定理」/不完全性定理」/不完全性定理

今これ(いや、この文字？)を打っているつい数十分前、数学ガール/ゲーデルの不完全性定理(以下でMGGと略している)を読み終えた。
22:14ごろだったかな？まあ、そんなのはどうでもいいんだ。
うん、面白かった。でも不完全性定理の証明の内容に関してはさっぱり。
でもすごく興奮したかな。今でもこの有様。なんか変な文章になっているような気がしないでもないような。
まあ、そんなのはいい。もうどうでもいい。忘れてください、いや忘れろ。
ああ、落ち付け自分落ちつけ自分。

で、勝手に気づいたこと。というか読んでいて理解できた？分かった？まぁ、取り合えず分かったこと。
なんでもない、ただのチラシの裏のメモ。
・無矛盾（えーと、これは 辞書的な意味 ではなく、(以下""MGGのP.304より引用)"A と ¬A の両方は形式的に証明できない"ということ？)な形式的体系(以下Xとおく)は自己そのものでは無矛盾性を証明できないが、他の体系(以下Yとおく)による(？)…んー、うまい言葉が思い浮かばない。えーとYがXの無矛盾性を証明することはあるかもしれない。えーとこれについては、うん、P.366かな。
・ 辞書的な意味 にこだわるべきではない？

ん、私は何を書いているのだ？よくわからんな。まあいいや。
また、どうでもいいこと。
イプシロン-デルタのところは何故か何度か全体を軽く読み返した。私はイプシロン-デルタが気に入ったのかな？また図書館で本でも借りるか・・・いや、なさそうだな。買うか。

ああ、投稿のタイトル何でこんなのしか思い浮かばなかったのだろう。

何度見てもゲーデルをゲーテルだと思ってしまう。Gödelと書く事も知っているのに。

"数学ガール/ゲーデルの不完全性定理"が昨日昼頃届き、今現在4章迄読み終わった。いいねえ、こういうの。ユーリの「にゃあ」ににやにや。ミルカ様のツンデレ(クーデレか？)ににやにや。と、肝心の数学的内容に関してだ。今の所、所々分からないところはあるがそこまで難しくはない。が、本をパラパラとめくっていると一番後ろの方になんだかとっても難しそうなものが･･･。うんそうだよね、ゲーデルの不完全性定理を扱うのだものね。なんとか挑んでみるか。

関係ないかもしれないけどゲーデルはアメリカで市民権獲得のときにアメリカ合衆国憲法について「米国憲法は無矛盾でないから困る」という言葉を残したそうな。
クルト・ゲーデル - Wikipedia

口から玄いことを言うから呟き。黒ではない。

あぁ、またネタがもうない。こういう時はいろいろ呟くに限る。

・Firefoxのブックマークを漁っていると数学ガールをノベルゲーム風にしてみたというの発掘。ブックマークに入れたの何時だったかな。

・流浪のオタク: Gaucheなんて読み方言われないと分からないよにいくつか追加。
IEEEとかGentooとか。 IEEE、アイトリプルイー、なんだか読み方カッコいい。字面がカッコいい。

・おい、私よ、呟きたいならtwitterに行きなさいな。

queueueueueueueueueueue･･･

ぐわぁ、ネタ切れ。
てことで、また独り言呟き。

・『数学ガール』トークイベント
数学ガール登場人物による仮想トークイベント。ミルカさんかわいいよミルカさん。
[結] 2009年10月 - 結城浩の日記
(なんだか私のブログ、最近数学、又は数学ガール関連ばかりだな)

・Category:数量の比較 - Wikipedia
数の比較 - Wikipedia
時間の比較 - Wikipedia
長さの比較 - Wikipedia
質量の比較 - Wikipedia
etc...
こういうの、とてもワクワクする。

・このブログのネタ、スタックじゃなくて基本はキュー。思いついたものを順次貯めておいて昔のものから出す。キュー？スタック？なにそれおいしいの？ってひとはggrks。

キュー(queue)は貯めた順に出す。ラーメン店や遊園地の行列を思い浮かべるとおｋ。最初に並んだ人から入れる。
スタック(stack)は最後に入れたものから出す。スタックは「積み重ね」「干草の山」という意味。まさしく牧場にある干草の山。最近積んだものから牛に与える。

そういやqueueはueueを除いてqにしても同じ発音になる。

ただの呟き。

タイトルどおり。

・アクセス解析の「なかのひと」のページを見に行ったらユーザーヒートという"ページ内の行動をヒートマップで表示する解析ツール"(以上無料アクセス解析ツール with 位置情報ブログパーツ 「なかのひと」の一部文章を引用)が公開されていた。
面白そうだけど特には私にはいらないかな。


・結城浩の日記を見に行くとアマゾンに"数学ガール/ゲーデルの不完全性定理"のページが出来ているとのこと。wktk。
[結] 2009年10月 - 結城浩の日記
Amazon.co.jp： 数学ガール/ゲーデルの不完全性定理: 結城 浩: 本

・BLACK LAGOON新刊9巻そろそろだろと思って調べると10/19とのこと。あと、アニメ三期はOVAになることも今日知った。どっちもwktk。コミック前巻が発売されてから一年以上経ってるぞ。

・eden*インストールしてから結局まだ出来てない。このまま積みゲーになるのか？

・じゃあ、今何をしているかというと、今やっているオンラインゲームがイベント中だったんだよ。だからそっちにいっちゃったんだよ。他には最近デスクトップの改造にもはまっているんだ。さらに他には図書館で借りた本がまだまだ残ってる。

・デスクトップ改造用のメモがいっぱいになってきた。整理すべきかな。

・ふぁ、よく寝た。なかなか頭が起きないな。

09/10/05 投稿タイトルを変更。独り言→つぶやき。

ユーリ、テトラ、ミルカあるいは不思議な関係

『数学ガール／ゲーデルの不完全性定理』表紙決定。
[結] 2009年9月 - 結城浩の日記

画像は結城浩の日記より。
いい緑だ。テトラちゃんと思しき人物の顔を拝もうとズームしてみたのは内緒だぜ。

よし今度こそ買うぞ。(今迄買ってなかったんだ。買いたいんだけど他にも買いたいものがあってついそっちに)。
所持金(小遣いその他)は・・・げ、足りないか。いや、工面してきてやるか。


こう、無限をなんとかして扱うのってとても気持ちがいい。
とても大きなもの(とてもどころじゃない)を扱えてるという(本当に扱えているのか？)、征服感とでも言うのか、いや言葉が悪いな、なんともまぁ、うん、とりあえず快感だ。気持ちいいぃぃぃぃ(アクエリオ（ｒｙ)。


そういや何時だったか、確か数年前、Q&A 数学基礎論入門という本を図書館で借りて読んだことを思い出したよ。今考えるととてつもなく難しかったな。事実当時のメモを読んでもさっぱりだ。

今の方が馬鹿になっている気がする。

コミック版数学ガール下巻読みました

ミルカさん美しいなー

テトラちゃんかわいいなー

なんだか瑞谷女史出番多いなー

そういや今日はコミック版数学ガール下巻発売日だったような

本屋にでも出かけるか

表紙のテトラちゃんかわいいなー

画像はコミック版『数学ガール』より

結城さんの日記を読んでいたら

"wikipediaに「数学ガール」の項目が出来ていました。"

とな？

数学ガール - Wikipedia

読んでみたが････

とりあえずGJ!!

キャラクター紹介が濃い!

数学のトピックがGJ!

て、今思い出したけど

私まだ原作持ってなかった･･･orz

図書館で借りてきただけだった･･･

おっしゃぁ。

数学ガール最新刊は"ゲーテルの不完全性定理"のようです

待ってました

あれですか。
"無矛盾な公理的集合論は自己そのものの無矛盾性を証明できない"
ってやつですか

"プリンキピア・マテマティカ及び関連する諸体系における形式的に決定不可能な諸命題について"
ですか

この定理は何度読んでも何故そうなるのかを理解できませんでした･･･

ようは証明も反証も出来ない問題があるってことと
数学は自分自身が正しいって事を証明できないってやつですか

･･･うろ覚えだ

っとそろそろ数学ガール二冊とも買わねば
図書館にあるからつい･･･

Euler
Fermat
Godel
とくれば･････
Hilbert？
次は･･･
何だろ？Iから始まる数学者と言えば･･･？

追記 09/09/03
List of mathematicians (I) - Wikipedia, the free encyclopedia
Iから始まる数学者一覧。

んー、岩澤健吉さん？

今日は数学ガールコミック版発売日だった・・・。買いに行くか。

数学ガールはいい。数学×萌え。

ミルカさんが特に萌え。

結城氏のページ

画像はコミック版『数学ガール』より