1+2+3+・・・・ = -1/12 日記

「ジュエルペットてぃんくる☆ BD-BOX（2013/07/22)」

外箱


内箱


開いた所


中身はスタッフ色紙
＋キャラデザ・総作画監督の伊部由起子さんの描かれたてぃんくる☆公式絵の画集
＋BD10枚（TV52話＋OVA）＋CD2枚（音楽集）




記念写真。全員集合。
左からDVD-BOX、ファンディスク1・2・3、BD-BOX



よくやった。よくやった。
頑張りました。
このアニメは凄い凄い凄い凄い凄い凄い。思いっきり褒めてやりたいです。

のちほどゆっくりレビューします。

---

「F₁数学という新しいジャンル（2013/07/18)」

書籍「絶対数学（黒川信重・小山信也著）」を購入。


「絶対数学」なんて聞くと
言葉が仰々しすぎてセールストークと言うか、「うさんくさい」印象を受けますが。
内容はアカデミックでまともです。

絶対数学とはこの50年ぐらいに出てきた新しい数学のジャンル。

そもそも絶対数学とはリーマン予想（数学界の中でも最大級の重要度を誇る未解決問題）を
解くための方法論として考え出されました。


リーマン予想と言うのは、
ゼータ関数 ζ(z)=0を満たす複素数zを探す問題です。


リーマンは
　もしζ(z)=0だとしたら
　→　Re(z)=1/2
を予測しました。
（なぜそうなるのかわかりません。
　式の対称性的に、確率論的解釈に、経験則的にRe(z)=1/2がなる理由は十分あるのですが厳密な証明はまだ一つもありません。）


それから現在まで研究が150年間続きましたが、
今の最新の数学の技術を持ってしても
もしζ(z)=0だとしたら、
　→　Re(z)＝1/2（リーマン予想の自明な零点） ± 1/2　（ぶれてる範囲）
で、長さ1/2の範囲にしか答えを絞り込めてないんです。


リーマン予想とは
これを
もしζ(z)=0だとしたら、
　→　Re(z)＝1/2（自明な零点） ± 0　（ぶれてる範囲）
にしたい、未完成の理論です。

---

ここで一つのアイデアがあります。
もし仮に、テンソル積を導入する事で
ゼータ関数を二重化できたとします。

元々はf(x)関数だった一次元関数を
f(x,y)の二次元に広げるみたいな作業です。


こうすれば、それぞれのXY軸ではやっぱり1/2までしか
追い込めてないのですが、
二次元にした事により面積は1/2×1/2で、1/4に縮小できました。

おお。ブレの範囲を狭くできたんです。


この形式にしたがって
n個のテンソル積、ゼータ関数のn重化を行うことで
面積・体積・n次元体積を考えれば
　1/2　→　1/4　→　1/8　→　・・・・　→　0
と減らしてゆき
任意のn次元で成立することが証明できれば最後は0で
リーマン予想が解決できると言うロードマップです。

---

ところが・・・・実際問題としては
無理なんですねー。

なぜならリーマン関数が定義されてる整数空間Zは
(Z　×_テンソル　Z )＝Z
ですからテンソル積を取っても同型になって戻って来ちゃう。




（ゼータ関数×ゼータ関数）は元の（ゼータ関数）と同じ構造を
を持っているので、
二次元化したつもりが
やってる事は一次元ゼータの研究と同じ事になるわけです。


そもそもZは最小の環（＋と×が定義されている代数）
なんですから微細化も何も、これ以上分解しようがありません。


Zを無理矢理細かく分解すると
数学的にはどんな理論体系にも絶対必要な「演算が集合内で閉じている」と言う大原則が成り立たなくなり
研究が成立しなくなるんです。


だからゼータの二重化（＝空間の分解）は無理。
じゃあこのアプローチはどだい無理なのか。
・・・
・・
・
ここが絶対数学のアイデアのキモで、
なんとZ環の下に
F₁と言う
架空の単位を作って、
1を分割してしまおうって話です。

---

F₁の正体はモノイド。
具体的には単位群G={1}に乗法の0元をアタッチした
　　F₁＝{1}∪{0}
です。

具体例があるにも関わらずなぜF₁が架空の単位かと言えば
数学的にはアウトな存在だからです。
何しろ加算に対して閉じていない。


閉じてないケースについては
「その組み合わせについては演算できない」で済ませる。


ってえ。加算させてもらえないって、どんな単位ですかー。それ。
だから架空なんです。


ただただ不完全なだけで、
　「いったいそんなものが何の役に立つの？」
状態なんですが・・・


群・環・体の拡大を考えはじめると俄然面白くなります。
例えば正則行列GLによるF₁拡大を考えます。
ちなわちGL（F₁)

これはなんと置換群の
　GL_n（F₁)＝S_n
になります。
（置換群は数学の由緒正しい群構造です。）



(　ﾟдﾟ)

(つд⊂)ｺﾞｼｺﾞｼ

(；ﾟдﾟ)

(つд⊂)ｺﾞｼｺﾞｼ

　　_, ._
（；ﾟ Дﾟ）

いやいやいやいや。
その発想はなかったです。


　　「えっ、なんでGL群（大きい）からS群（小さい）が出てくるの？！」

GLでF₁を拡大したはずなのに、なぜかやたら小さな物が出てきました。
ちょっと数学の常識的には信じられません。

頭はパニック。
次に、誤字脱字があるに違いないと
テキストの間違いを探し始めるレベルです。

いやこれであってます。
　GL_n（F₁)＝S_n


それぐらい珍しい、まず絶対数学以外では見ることのできない計算式。

簡単に言っちゃうと
F₁は先述したとおり、数学理論体系としての最低限の法則も満たさないアウトな存在。
いわゆる「1未満」。
だからGLの答えに対して縮小フィルターとして働く作用でGLより小さい群が答えに出てくるんです。

---

盲点を突かれました。

GL拡大（GL以外でも別にいいのですが）した後に1以上に膨れあがるんならば、GLの元になる要素自体は
群である必要もなかったんです


また別の言い方をすると
「F₁は数学理論体系としての最低限の法則も満たさないアウトな存在」だからこそ
逆にそのアウト性を群拡大後にも適用して、
GLの中の一部の要素を不合格にする事で縮小フィルターとして働かせるわけです。


え、えええ〜〜〜。

これは本当に、ちょっと従来の数学にはなかった
目から鱗の発想。

---

絶対数学、およびF₁の存在、そして
　GL_n（F₁)＝S_n 式などは1957年にフランスの数学者J.Tits（アーベル賞受賞者）が最初に発見したとされますね。

それからしばらくたって1991年に日本人数学者の黒川さんが
F₁による空間の分割からリーマン予想を解ける方向性を指し示しました。

ManinがF₁上のテンソル積が満たすべき性質（の一部）を発見したのが1995年。

そして2013年の今もリーマン予想解決のために研究が進められてる
数学の中でも全く新しいジャンルです。

---

GL拡大後に数学理論が成り立つなら、その前の段階（拡大する前）
では実は数学的な最低要件を満たしてなくても良かったって。
メチャクチャにもほどがあります。

でも筋は通ってます。


じゃあもっと話を進めます。
仮にF_Xと言う（数学理論としての要件を満たさない）物体がそもそもあるとします。
F_Xは万能です。

万能と言うのは、あまりにも万能すぎて
「（人間に）整理整頓でき、理論体系として研究・成立する部位」と
「（人間には）整理整頓できず、研究が成立しない部位」の
両方のパートを含んでるわけです。


図にすると

→　その中で、法則が比較的シンプルで、研究として成り立つ物 →　現代数学 　 　 →　その中で、特殊な操作をした後にはルールが浮上して数学研究として成り立つ物 →　GL（F1）など 　 万能の存在FX →　その中で、複雑すぎてルールが（まだ）見えず、人間には研究できない物 →　学問としてはまだ成立していない 　 　 →　その中で、超複雑すぎて、実質的に（人間には）ルール化不可能な物。 →　学問としては永久に成立しない

こんな感じでしょうか


複雑すぎるF_Xの中で、人間にルールの見えてる一部分が現代数学の理論体系。
でも実は本当はもっと上の存在と法則たるF_Xからあったとも捉える事ができるわけです。

だから本当に凄い発想だと思います。
数学未満たるF₁の発見、および絶対数学という考え方は。

---

・・・我ながらなんだか宗教っぽい書き方になってしまいましたーが（汗）

率直に言うと、私自身は現実主義者なので
（連続体問題についてもV＝Lなスタンスです。選べるなら、ルールの少なくよりシンプルな方が好きです。）

ずばり
　「難問がそれで解けるならグッドですし、解けないのならダメ」
シンプルにそれだけの話と思ってます。はい。


後日、所感と続きを書きます。

---

「F₁数学という新しいジャンル（2013/07/17)」

書籍「絶対数学（黒川信重・小山信也著）」を購入。


「絶対数学」なんて聞くと
言葉が仰々しすぎてセールストークと言うか、「うさんくさい」印象を受けますが。
内容はまともです。

この50年ぐらいに出てきた新しい数学のジャンルですね。

そもそも絶対数学とはリーマン予想（数学界の中でも最大級の重要度を誇る未解決問題）を
解くための方法論として考え出されました。


リーマン予想と言うのは、
ゼータ関数 ζ(z)=0を満たす複素数zを探す問題です。


リーマンは
　もしζ(z)=0だとしたら
　→　Re(z)=1/2
を予測しました。
（なぜそうなるのか証明は見つかっていませんが、経験則的にRe(z)=1/2以外じゃζ(z)=0が見つからなかったからです）


それから現在まで研究が150年間続きましたが、
今の最新の数学の技術を持ってしても
もしζ(z)=0だとしたら、
　→　Re(z)＝1/2（リーマン予想の自明な零点） ± 1/2　（ぶれてる範囲）
で、長さ1/2の範囲にしか答えを絞り込めてないんです。


リーマン予想とは
これを
もしζ(z)=0だとしたら、
　→　Re(z)＝1/2（自明な零点） ± 0　（ぶれてる範囲）
にしたい、未完成の理論です。

---

ここで一つのアイデアがあります。
もし仮に、テンソル積を導入する事で
ゼータ関数を二重化できたとします。

元々はf(x)関数だった一次元関数を
f(x,y)の二次元に広げるみたいな作業です。


こうすれば、それぞれのXY軸ではやっぱり1/2までしか
追い込めてないのですが、
二次元にした事により面積は1/2×1/2で、1/4に縮小できました。

おお。ブレの範囲を狭くできたんです。


この形式にしたがって
n個のテンソル積、ゼータ関数のn重化を行うことで
面積・体積・n次元体積を考えれば
　1/2　→　1/4　→　1/8　→　・・・・　→　0
と減らしてゆき
任意のn次元で成立することが証明できれば最後は0で
リーマン予想が解決できると言うロードマップです。

---

ところが・・・・実際問題としては
無理なんですねー。

なぜならリーマン関数が定義されてる整数空間Zは
(Z　×_テンソル　Z )＝Z
ですからテンソル積を取っても同型になって戻って来ちゃう。




（ゼータ関数×ゼータ関数）は元の（ゼータ関数）と同じ構造を
を持っているので、
二次元化したつもりが
やってる事は一次元ゼータの研究と同じ事になるわけです。


そもそもZは最小の環（＋と×が定義されている代数）
なんですから微細も何も、これ以上分解しようがありません。


Zを無理矢理細かく分解すると
数学的に絶対必要な「演算が集合内で閉じている」と言う大原則が成り立たなくなり
理論が成立しなくなるんです。


だからゼータの二重化（＝空間の分解）は無理。
じゃあこのアプローチはどだい無理なのか。
・・・
・・
・
ここが絶対数学のアイデアのキモで、
なんとZ環の下に
F₁と言う
架空の単位を作って、
1を分割してしまおうって話です。

---

F₁の正体はモノイド。
具体的には単位群G={1}に乗法の0元をアタッチした
　　F₁＝{1}∪{0}
です。

具体例があるにも関わらずなぜF₁が架空の単位かと言えば
数学的にはアウトな存在だからです。
何しろ加算に対して閉じていない。


閉じてないケースについては
「その組み合わせについては演算できない」で済ませる。


ってえ。加算させてもらえないって、どんな単位ですかー。それ。
だから架空なんです。


ただただ不完全なだけで、
　「いったいそんなものが何の役に立つの？」
状態なんですが・・・


体の拡大を考えはじめると俄然面白くなります。
例えば正則行列GLによるF₁拡大を考えます。
ちなわちGL（F₁)

これはなんと置換群の
　GL_n（F₁)＝S_n
になります。
（置換群は数学の由緒正しい群構造です。）



(　ﾟдﾟ)

(つд⊂)ｺﾞｼｺﾞｼ

(；ﾟдﾟ)

(つд⊂)ｺﾞｼｺﾞｼ

　　_, ._
（；ﾟ Дﾟ）

いやいやいやいや。
その発想はなかったです。


　　「えっ、なんでGL群（大きい）からS群（小さい）が出てくるの？！」

GLでF₁を拡大したはずなのに、なぜかやたら小さな物が出てきました。
ちょっと数学の常識的には信じられません。

頭はパニック。
次に、誤字脱字があるに違いないと
テキストの間違いを探し始めるレベルです。

いやこれであってます。


それぐらい珍しい、まず絶対数学以外では見ることのできない計算式。

簡単に言っちゃうと
F₁は先述したとおり、数学としての最低限の法則も満たさないアウトな存在。
いわゆる「1未満」。
だからGLに対しての縮小フィルターとして働く作用でGLより小さい群が答えに出てくるんです。


（次回に続く。もっと詳しく解説します）

---

「おくさまは生徒会長（2013/07/15)」

マンガ「おくさまは生徒会長」ドラマCD版を購入。

声優の高森奈津美さんが主役やってたので。

個人的に好きな声優の一人です。
（主な主演作：ジュエルペットてぃんくるの桜あかり役、Anotherの見崎鳴役、放課後のプレアデスのすばる役など）
今期のアニメでもジュエルペットハッピネス第8話にゲストキャラで出てきたのは
嬉しい仕込みでした。


私自身が根っからのアニヲタなわけですし、
その流れに沿って声優への興味や情報もまあ、それなりには気にしてます。


ただ私の場合はいわゆる声優ヲタじゃありません。

声優のラジオ番組・キャストトーク・オーディオコメンタリー・グラビア・イベント・コンサート・握手会・プライベートとかそういうのは
まるっきり一切興味ないんですねー。

あくまでアニメの中での声や演技を聞いて
それに萌えるか萌えないか。

（声や演技が）好きになればやっぱりその声優さんにはもっとアニメに出て欲しいと思いますし、
出るんならその番組チェックします。　声を聞くために。
そういう意味での声優の（声の）ファンです。

---

「CD 史上最大の作戦（2013/07/13)」

運動会の音楽集CDをレンタルしてきました。

この中に収録されてる「史上最大の作戦」って曲が聴きたくなりまして。

元々は1962年公開の映画「史上最大の作戦」ですね。
そのメインテーマが有名になったので運動会のイベントなどでもよく使用されてます。

---

「ジョジョブラキ（2013/07/07)」

クレイジーDハンマー。4本作りました。

わはー
慣れれば慣れますね（トートロジー）。


ジョジョブラキ　×　大剣戦においては
普通にやると「納刀中に殴られた！」これが最大のダメージ要因になると思います。
なので、そこを対策します。

具体的には
　抜刀　→　ローリング　→　納刀
の大剣基本パターンを、ジョジョブラキ相手には

　抜刀　→　ローリング　→　（敵が攻撃してくるのを待つ　→　ローリングで避ける。無理ならガード）→　安全が確認できたら納刀
と、回避に専念するターンを挿入します。

パンチ食らうと70％減らされる異常な攻撃力の相手ですから
一刻でも早く納刀して逃げたくなる気持ちはわかりますが・・・
あえて抜刀状態で踏みとどまる。そして攻撃を一度スカしてから納刀。
（無論、敵が安み・硬直・モーション・遠距離・非ターゲットなど安全が確認できてればいつでも納刀OK）
その方が安全なんです。

他にも細かい所はありますが後は実戦で慣れるしか。
とにかく回避重視で。


　「敵の攻撃に当たらなければ勝てる」

単純にそれだけの理屈なんですが。


35分切れました。

あんまり頭は狙ってないですねー。咆吼とか100％確定、もしくはたまたま狙える位置取りになった時以外は。
それよりも手・足・胴体など。どこでもいいからポコポコ殴りまくって
手数を増やす事を重視してます。

---