「Log」を含む日記 RSS

はてなキーワード: Logとは

2021-11-29

アイマス2の解析データでわかった没キャラについての整理と妄想

自分ブログだと倫理的微妙だったので増田で好き放題書こうと思います

10年の時を経てアイマス2の没データが発掘されたじゃないですか。前々からそういう話のあったミリオンライブレイジュリモモ3人に関するデータが。

なんのことって人は↓を見てくれ。面白いことに今回出てきたデータって過去の噂とめっちゃ符号するんですよ。

https://www.nicovideo.jp/watch/sm39673087 絵と音は権利者削除で消えちゃったけどインターネットの海を探せば残骸くらいはありますね。

あと用語説明とか背景説明かめんどいんで、ある程度アイマスに詳しい人向けに書きます、ご容赦を。逆に間違ってるところあったら指摘してください。

(週刊ファミ通 VOL.1787にてミリオンライブの立ち上げについて家庭用で用意されたキャラもいると明言されていました。どっかで関係者が言っていたとかはあったけど出版物レベルでは初かな?)

「じつは何名かは家庭用開発の際にイメージされていたアイドルもいて、状況によっては家庭用で立ち上がっていたかもしれません。」
時系列とか

さて、まずは周辺の噂や事実について改めて調べたことを並べていきましょう。

これにはアイマス2の発売日など、当然のことも含みますし、それらについては情報元を提示しません。

299 :声の出演名無しさん2010/09/24(金) 22:14:45 ID:EtBVV8/MO

高山ゆうこ歩き煙草して吸い殻放置してるの見たぞ。しかも今度アイマスに出るってでかい声で自慢してた。聞き間違いかもしれんが。

https://toki.5ch.net/test/read.cgi/gal/1294758877/

ライブの日から時間が経って、それでも腹は立つんで書く

長文になるかもなんで先に謝らせてくれ

ライブの帰りの電車内で、服にゲストパスはっつけたままのを含む4人組が近くにいたんだ

自分ぼっち参戦だったから静かなもので、その4人がべらべら話す内容が否応なしに聞こえてきた

それ曰く

ハード不明だがおそらくPS3で)新規アイドル3人が登場らしい

1年半ほど前から歌の収録は始まっており、シナリオパートはまだ

4人のうち3人はその新キャラCVの様で「早くシナリオ録らないとキャラ忘れちゃう」だそうだ

784 :名無しくん、、、好きです。。。:2011/01/12(水) 10:25:26 ID:ltUFsrr6

>>775

たかやま」と「はるかさん」は覚えてる

あと別の一人は男だったんだけど「なかがわさん」って言われてた

829 :名無しくん、、、好きです。。。:2011/01/12(水) 10:38:11 ID:ltUFsrr6

そう、愚痴りたいだけだったんだ、吐き出したいというか

電車みなとみらい線渋谷方面

「なかがわさん」はサウンドの人とは違うっぽい

はるかさん」はどこだったけな…横浜付近だった気がするけどその時はまだ

決定的な話は聞こえてなかったから、あまり記憶してない

858 :名無しくん、、、好きです。。。:2011/01/12(水) 10:46:22 ID:ltUFsrr6

ちなみに安心してぺらぺら喋ってたのも当人たちなりの理由(笑)があるんだと思う

周りの男性Pたちは少し離れたところに乗ってたし、ライブ感想語り合ったりしてたし

自分は女だったから油断したんだと思う

ショッピングバッグは持ってなかったし

それでもやっちゃいけないレベルだと思うんだけどね

956 :名無しくん、、、好きです。。。:2011/01/12(水) 11:15:22 ID:ltUFsrr6

>>936乙

そろそろ鬱陶しく思われる頃合だろうし、次スレだしで自重するけど最後

たかやま」の担当キャラ苗字は「たかはし」

「二人はなんかかっこよさげ苗字なのに自分だけ『たかはし』とか庶民的で~」とか言ってた

>>931

内容は出さずに「ライブ帰りの車内でぺらぺら漏らすのやめてくれ」って1度だけ書いた

多分自分

にわかには信じられない内容だけど

「本当だとしたらそれは酷い」とか怒ってくれた人ありがとう

自分も本当に腹が立ってつい書き込んでしまった

居合わせた人たちにはお騒がせして申し訳ない

188 :名無しくん、、、好きです。。。:2011/03/09(水) 00:57:52.78 ID:ZG1QonQg

なんか解析の人がこんなこと書いてるんだがどういうことだ?

> アイマス2プログラムファイルをながめていたら IDOL_REI IDOL_JUL IDOL_RIN とか見つけたけど

> 実体がないからたぶん没データだろうと思われ?

> でも TOM じゃなくて JULから勘違いだなきっと

ttp://twitter.com/mirai_iro/status/43449223403798528

解析からわかった事実
判明テキストの一部書き出し
推測と妄想

この件で俺が気になる点は

です。

まず1点目、今回出てきた没データだが偽物ってことはないでしょう。モデルコミュだけならギリギリ疑う余地があると思うけどリンコの声がモロに桃子です。桃子が歌うWAOとビジョナリー出されたら反論不可能ですはい終了。

2点目、まずリンコは何回か言ってるように確定とします。残るはジュリアレイカですが、2ch10年前の書き込みを信じるなら「たかやま」さんと「はるか」さんになる。わたなべのけいこさんは該当しませんね。

当時の松田ビル所属声優から高山ゆうこ佳村はるか or 山崎はるか(当時事務所預かりだったらしい)では?と言われていましたが、個人的にこれが正しかったんだと思いますジュリアちょっと判別が難しいですが少なくとも愛美の声ではありません。レイカはWAOの音源しかないですが、違うと断定できないくらいには山崎はるかの声に似ています。歌い方のクセ鑑定士がいたら鑑定してください。ということで私の中では3人確定ということにしています

3点目、いつ没になったのか。これが難しい。2009年くらいから歌を録り始め、新年ライブに招待されてることから箱版発売直前の20111月ではまだ出演予定があったということになります

この8ヶ月のどこで彼女たちが死んだのか、本当にわからない。本来ルートならアニマスの2クール目に出てきてもおかしくないけど、どっちもシリーズ構成レベル石原絡んでるから連携は取れるだろうしなんもわかりません。モデルもだいたいできてて(?)歌まで録って没になるって何事??????

あとジュリア本名って熊野説があるけど電車の会話が正しければ「高橋」になるんですよね、なんか高橋戦艦ジュリアこじつけロジックいかな。現行設定は熊野だと勝手に思ってます

とくに総括もないですし、書きたいこと書いたので終わります

あとTGS版のROMは去年発掘されてたとかなんとかあるらしいけど4chanは掘りきれてないので知りません。

追記

書き漏らしたことと新しくわかったことを箇条書きで

142 : おにいちゃん 2021/11/30 03:00:36 ID:644YyA1qSI

今回の件で思い出したのは、ミンゴスとぴょんの初対面の時の話

2013年8月配信アイマスタジオ第122回でミンゴスが語っていたことなので、詳細はDJCDで確認できると思う

発言の「3〜4年前」の出来事だった、というから2009年か2010年ごろの話

曰く、事務所所属する前のぴょんが「何かの歌唱オーディション」を受けているところにミンゴス出会したのだという(時期的にミリオンオーディションではないのは確定)

ぴょんが細かなニュアンスについてのディレクションに的確に反応することにミンゴスは強い印象を受けたとのこと

何気なく聞き流してしまいそうになるが、スタッフでもないミンゴスオーディションの具体的なやりとりをブースの外で聞いていた、というのはよく考えるとかなり不可解な状況で、個人的にずっと引っかかっていた

  • おわり

(騒動も一段落したので2021/12/13にちょっとだけ直した)

(2023/03/02に少し追記修正 追記キメラでより雑多になってきててすみません。)

2021-11-21

anond:20211121141143

女としては世の中logでもない男ばかりだから自然体な男がe

2021-11-04

anond:20211103232735

概念を覚えてる人は多いだろうけど、log xを微分(導出)するとこまで覚えてる人は極少数だろう

2021-11-02

[]2021年10月はてブあとで読むトップ30リスト

はてブホットエントリ(総合)で月内に数多く[あとで読む]タグを集めたエントリ

442あとで/3232users 京都大学Pythonの基本を解説した無料教科書「素晴らしすぎる」「非常にわかやすくて良い」 | Ledge.ai

297あとで/1576users DX白書2021:IPA 独立行政法人 情報処理推進機構

232あとで/2114users 個人的ワーキングメモリーを鍛えるのに役立ったなと感じた事を挙げる。 .. | anond.hatelabo.jp

216あとで/1250users JavaScript完全無料学習できる最強の厳選コンテンツ大公開! - paiza開発日誌

208あとで/1289users 富士通実践知が詰まったデザイン思考テキストブック公開 | 富士通

207あとで/1171users Amazon.com、同社内で使われていた従業員向けのセキュリティオンライントレーニング無償一般公開日本語版提供 | Publickey

183あとで/2525users 当たり屋対策集合知 | anond.hatelabo.jp

168あとで/1131users ほとんどのマーケティング従事者が興味を持たない「エーザイ統合報告書」がヤバいから読んだ方が良いぞ!という件|池田紀行@トライバルnote

168あとで/1717users この国に生きるすべてのあなたへ | 立憲民主党

161あとで/1040users アプリケーションエンジニア職位ガイドライン詳細 | 株式会社ゆめみ

158あとで/922users 【Python】専門書や論文を読みたいけど数学が苦手・わからない人向けのコードを読んで学ぶ数学教本 - Qiita

154あとで/1013users モダン JavaScript チートシート | GitHub

152あとで/1339users バーグハンバーグバーグ社員に聞いた、ブックマークしてる便利なサイト | オモコロブロス!

151あとで/772users できるだけ嘘を書かずに計算量やオーダーの説明をしようとした記事 - えびちゃん日記

142あとで/776users AWSアカウントを作ったら最初にやるべきこと 〜2021年版〜 #devio2021 | DevelopersIO

139あとで/742users LOG関数で2を底とする対数(二進対数)とO(logN)の意味を知ることは情報処理の基本であるExcel】 - わえなび ワードエクセル問題集

138あとで/1345users 「要領がいい子」とそうでない子の、勉強法のちがいについて。 | 不倒城 | Books&Apps

136あとで/952users ファイルを掴んでいるプログラム特定する方法 - misc.log

134あとで/868users 「これぐらいのことはできていて」は勝手な期待 観察・考察選択のサイクルで相手の力を引き出す「誰も嫌な思いをしない変化」 | 椎葉光行 | logmi

134あとで/1266users 失業したらiDeCo落とし穴にハマった件 - 35歳から中二病エンジニア

132あとで/913users 一年半同じチームで色んなふりかえりをやったので手法と学び紹介していく | bayashi | SpeakerDeck

131あとで/867users インフラエンジニア20年やってて初めて知ったtopコマンドの表示を劇的に見やすくする方法 | 株式会社ビヨンド

129あとで/1621users おくすりレシピ | うつ病

126あとで/779users レビューの仕方 | Yosuke Furukawa | SpeakerDeck

122あとで/675users CDNは5時間で開発できる | POSTD

120あとで/1073users デザインは、見た目じゃない | 山田奈々 | NHKニュース

118あとで/1184users 皇の器 - 織部匡 | 少年ジャンプ+

116あとで/1079users 『火の鳥時系列順に読んで立ち直れなくなろう』ファンも未読勢も通しで読んでみたくなる構成図「こうなってたのか」 | Togetter

114あとで/1355users 源氏物語が好きすぎてAIくずし字認識に挑戦でグーグル入社 タイ出身女性が語る「前人未到人生」 | Ledge.ai

113あとで/514users [2021年版]AWSセキュリティ対策全部盛り[初級から上級まで] というタイトルでDevelopersIO 2021 Decadeに登壇しました #devio2021 | DevelopersIO

113あとで/798users 充実した休日を過ごすタスク管理術 - 本しゃぶり

増田も2つランクイン

2021-11-01

[][][][][]

和歌山カレー事件噂の深層東京大集会・彼女のことが嫌いでも、彼女の無実は知ってください - YouTube

和歌山カレー事件の鑑定ミスはなぜ起きたか - YouTube

和歌山毒物カレー事件 その5

ttp://enzai-shikei.com/blog/497/

これについて誰でもすぐおかしいと思う点は、ヒ素の濃度である。つよい子はヒ素濃度49%であるが、これがプラスチック容器に入れられ、そして青色紙コップに入れられた段階でヒ素濃度が75%(亜ヒ酸濃度換算98.7%)にぐんと濃度がアップするのである。入れ物を入れ替えることで不純物が増える、つまりヒ素の濃度が低濃度になることはあり得るが、高濃度に変化するのは、これはさすがに科学的にあり得ない。

カレーヒ素事件鑑定書解析

このほかにもH所持亜ヒ酸が,紙コップ亜ヒ酸のルーツではない事実がいくつも見つかっています

Hの亜ヒ酸は同体積のメリケン粉などを良く混ぜ込んだものであって亜ヒ酸は低濃度でしたが,紙コップの亜ヒ酸は99%の純度でした.良く混合した低濃度の混合粉末を紙コップに汲んでも高濃度になることはあり得ません.

和歌山カレーヒ素事件における頭髪ヒ素鑑定の問題点

亜ヒ酸濃度やデンプンが混入していたかどう

かという混入物質を鑑定すべきであるにもかか

わらず,重元素分析だけにたよった和歌山地裁

における上述の事実認定は,因果関係破たん

している 4-7). A,B , C,D ,E ,F のどの亜ヒ酸

を「本件青色紙コップ」に入れても,表 1 に示

すとおり,主成分ヒ素濃度の高純度化,デンプ

ンと亜ヒ酸混合粉末からデンプン消失,バ

リウムの新たな出現などという,紙コップへ亜

ヒ酸を入れただけではありえない元素組成に変

化することになるからである

和歌山カレー事件 「決め手」のヒ素鑑定に真逆の指摘 〈週刊朝日

ttps://dot.asahi.com/news/incident/2013051500028.html?page=1

自宅のヒ素と紙コップのヒ素は異なるものだという衝撃の結論を出した。同氏が注目したのは、ヒ素に含まれていた不純物のモリブデンや鉄の分量が、両者では明らかに違い、まったくの「別物」と結論づけたのだ。

「『同一起源』を証明して『同一物』と断定」「1:1デンプン入り亜ヒ酸を紙コップに汲み取ると99%に高純度化する」「真須美被告の頭髪の分析は1本」「頭髪からの亜ヒ酸の検出を『外部付着』と証言」「紙コップだけルーツが違う」。

ttps://www.premiumcyzo.com/modules/member/2015/05/post_5962/



鑑定不正---カレーヒ素事件 | 河合

https://www.amazon.co.jp/dp/4535525986

和歌山カレーヒ素事件の鑑定不正に関する公開論争

http://www.process.mtl.kyoto-u.ac.jp/pdf/koukaihanron.pdf

【河合潤教授(京都大学)に聞く】和歌山カレー事件と『鑑定不正』連続研究会を開催【犯罪学研究センター】 | 龍谷大学 You, Unlimited

分析の際、X線が強く出る部分に鉛を貼っておくのですが、鉛のほうを測定してしまっており、さらにその誤りを選択励起、つまり故意に鉛をヒ素だとして鑑定したということを指摘しています

刑事弁護オアシス ブックレビュー  『鑑定不正——カレーヒ素事件

ttps://www.keiben-oasis.com/review/20210918

裁判の中で鑑定人たちは、殺人に使われたとされる凶器の亜ヒ酸と被告人関連の亜ヒ酸とが異なることを知っていた。彼らは、これらの亜ヒ酸が「同一」だと見せかけるため、濃度比を百万倍して対数log)を計算して創作した図を作成した。



和歌山毒物カレー事件 その3

ttp://enzai-shikei.com/blog/479/

このプラスチック容器は台所の下の開き戸を開けばすぐ見える位置にあった。このプラスチック容器の発見までなぜ4日もかかったのかと。これだけの捜査員で朝から晩まで捜索して、最初の3日間でなぜ見つけることができなかったのかと。これには、非常に重大な疑惑が残る。過去袴田事件の5点の衣類、狭山事件万年筆共通するような証拠ねつ造の疑いさえ残る内容だからである

冤罪ファイル その10 「和歌山毒物カレー事件」

犯行時と思われる時刻、事件直後の証拠収集時、そして現在と、紙コップの色が、ピンクブルークリームと変わっていることが分かります

林真須美死刑囚損害賠償請求棄却 弁護団は「原告の主張をほぼ認めた判決」と成果強調

ttps://www.tokyo-sports.co.jp/social/4055378/

結論として、刑事裁判蒸し返しを認めるほどの〝害意〟がなければ不法行為責任は生じないとしたが、中井鑑定は全体的に不正確だと原告の主張をほぼ認めた判決記者会見名誉棄損を認めているが、3年の消滅時効が完成している」



#187:和歌山カレー事件・検出されたヒ素に証拠捏造の鑑定不正の可能性

和歌山カレー事件京大河合教授が指摘する、科警研によるヒ素の鑑定不正

数字トリックで一致しない物を一致させた驚くべき手法とは?

林眞須美死刑囚長男が生出演

009 和歌山カレー事件とは

018 引っ越してきた林家は地域に馴染めていなかった

019 長男が見た事件発生当時の様子

021 マスコミゴミを荒らされ、カメラが塀を越え家の中に

023 親がヒ素を使って保険金詐欺をしているとは知らなかった

024 長男札束を積み木にメロンサッカーボールにして遊んでいた

027 崩れつつある死刑判決理由―鑑定不正不採用となった目撃証言

033 証言VTR京都大・河合教授科警研不正な数値操作を行なった」

055 証言VTR②「林眞須美の頭髪にヒ素が付着していたとする分析ミス

104 林眞須美死刑囚でないなら一体誰が犯人なのか?

106 裁判採用されなかったガレージの持ち主の“味見”証言

117 証言高橋弁護士「もし一審で河合教授の鑑定結果を提出していたら無罪になった可能性は上がっていた」

119 証言④「鑑定不正が明らかになるか新たな証拠がないと再審が認められる可能性は低い」

124 冤罪と言われるその他の理由

135 なぜ死刑執行されないのか

140 林眞須美死刑囚の夫の現在



和歌山カレー事件 : 浅野健一メディア批評

ttp://blog.livedoor.jp/asano_kenichi/archives/22004624.html

●●●●記者が誇らしげに語る朝日新聞の「和歌山カレー事件新聞協会賞授賞記事」こそが実際は“誤報であることについて|片岡健|note

ttps://note.com/ken_kataoka/n/n520cf378fdaf

和歌山カレー事件 長男

ttps://mobile.twitter.com/wakayamacurry/status/1505527755504758792



朝日新聞編集委員処分決定 「報道倫理に反する」 公表前の誌面要求朝日新聞デジタル

ttps://b.hatena.ne.jp/entry/s/www.asahi.com/articles/DA3S15259004.html

朝日新聞社による不公正な処分についての見解

ttps://b.hatena.ne.jp/entry/s/note.com/kenji_minemura/n/na8bcec8efb30

2021-10-21

[][][][][][][]

韓国記者クラブ廃止されたいきさつ

2001年7月24日仁川地裁仁川国際空港公社に対し、「『オーマイニュース記者記者室に出入りし、取材することを妨害してはならない」という仮処分命令を出した。

https://tinyurl.com/KishaClubiscartel



犬になれなかった裁判官―司法官僚統制に抗して36年

ヒラメ裁判官を生む人事統制のカラクリ

梓ゴルフ場事件 日本の現職裁判官の逮捕はこれが最初であった

映画日独裁判官物語1999年制作

ttps://www.youtube.com/watch?v=FLbp39nxlw4



弁護士会の読書:日本の裏金(下)

これは『月刊現代』2002年9月号に掲載された、ある司法ジャーナリストの匿名レポートの再録です。

警察官の裏金づくりが明治時代から行われてきた件・・・

弁護士会の読書:現職警官「裏金」内部告発

弁護士会読書:回想、二人で生きた36年

辰野事件裁判は、こんなこともありました。

「導火線というのは、シュッシュッと音をたてていたと検察官は言っていますが、導火線は音を立てないで燃えるものです。芯が燃えていくと、色が少しかわるだけで、音なんかしません。私は鉱山で働き、工事現場で、いつも導火線を扱う仕事をしています・・・

ttps://www.fben.jp/bookcolumn/2016/06/post_4708.php

ここに1冊の本がある。タイトルは、「現場刑事告発二俣事件真相」。

ttps://ameblo.jp/eva-omega/entry-11810387253.html

二俣事件 - Wikipedia

拷問での尋問自白強要、これに基づく供述調書作成などが、同僚警官告発書により明らかとなった。

ttps://ja.wikipedia.org/wiki/%E4%BA%8C%E4%BF%A3%E4%BA%8B%E4%BB%B6

警察官が人骨を発見した後、また元どおり埋めているのを見て驚いたという記事新聞

ttps://megalodon.jp/2011-0301-0631-14/www.ne.jp/asahi/kojima/law/trail/trial_book_7_3.htm

冤罪裁判 (講談社現代新書) 

被疑者衣服被害者の血を垂らす」(p142)、「被疑者の毛髪を被害者の体につける」(p145)、「尿やDNAすり替える」(p149、p158)

ttps://web.archive.org/web/20200119104435/https://www.amazon.co.jp/review/R1OACBI3K7O8KM/



日本裁判では99パーセント有罪判決となるそうだ」海外掲示板

ttp://wthjapan.blog.fc2.com/blog-entry-74.html

日本有罪率99.98%(1万件に2件の無罪

ttp://blog.livedoor.jp/hardthink/archives/51970427.html

中国刑事裁判2013年有罪率は99.93%

ttps://www.afpbb.com/articles/-/3010139

2021-08-20

現代数理統計の基礎 6章問2の解答

https://medibook.hatenablog.com/entry/2020/02/21/211832

E[logX_1]とE[(logX_1)^2]の計算に躓いたので回答を書いておく。

正しいのかはわからない。

スコア関数は、S_n=\frac{d}{d\theta}logf_n(X)

Prop6.16(1)より、E[S_1(\theta,x_i)]=0なので、

E[\frac{1}{\theta}+logx_i]=0

より、E[\log x_i]=-\frac{1}{\theta}である

式(6.8)より、

I_1(\theta)=E[S_1(x,\theta)^2]=E[(\frac{1}{\theta}+\log x_1)^2]

より、I_1(\theta)=\frac{1}{\theta^2}+E[(\log X_1)^2]-\frac{2}{\theta}E[\log X_1]

また、Prop6.17(3)より、

I_1(\theta)=-E[\frac{d}{d\theta}S_i]より、

I_1(\theta)=-E[\frac{1}{\theta^2}]

以上2つのI_1式は等しいので、

E[(\logX_1)^2]=\frac{2}{\theta}E[\log X_1]

より、E[\logX_1^2]=\frac{2}{\theta^2}

よって、計算簡単にできる?

2021-06-25

1.ターゲットサーバー情報を調べる

代表的ツールとしてnmapとかがある

#nmap -sS -A -v www.target.com

見るべきところは相手サーバーで動いているソフトウェア&そのバージョン

OS自体脆弱性があったりもするけど、そこは臨機応変

2.exploitを探す

動いているソフトウェア(のバージョン)に該当するexploit(攻撃コード)を探す

収集には以下のサイトが役立つ

ttp://1337day.com/(http://milw00rm.com)

ttp://exploit-db.com/

ttp://www.packetstormsecurity.com/files/tags/exploit/

ttp://www.securityhome.eu/exploits/ 等

落としてそのまま使える物もあればコンパイルしたりして使う物もある

3.exploitターゲットに向けてTails/RDP/VPN(logを保持していないのに限る)上から実行する

侵入できたらあとはページ書き換えるなり、内部データぶっこ抜くなり、フィッシング撒くなり、なんかの踏み台にするなり、Local exploit権限昇格するなりご勝手

Lets Karakking! 

>>42

nmapより先にwhoisとかgoogleハッキング情報探すナリ

tor越しやVPN越しにnmapで突くとアクセス遮断されてるか警戒されることが多くなるナリ

最近ポート確認用のサイトIPポート指定できるサイトとかあるから、そういうサイト使ってポート開いてるか確認するのも良いナリよ

正直nmapは最終手段に近いナリ 

2021-06-06

確定◆音源があるのに20年近くタイトルが分からない謎のアニメソング

【教えて!】何の曲か分からないけどアニソン系の好きな曲

https://www.nicovideo.jp/watch/sm27515759 (ログインなしで見れます)

答えが見つかるまで再投稿させて頂きます。この動画の曲が何の曲でどういう曲名なのか知ってる方がいたら教えて下さい。

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14240667374




つい先日知った謎の曲。「ヒトガタ」という都市伝説化してる謎のCMについて調べていたら

そのヒトガタを引き合いに出して上記Yahoo知恵袋リンクTwitter言及されていた。

20年ほど前に有線のアニソン専門チャンネルで流れていたもので、質問者の方は20年近くも探しているのに未だに何の曲か判明しないという。

ちょっとチープな感じがするが、謎めいた雰囲気面白い曲調を気に入って調べてみるもやはり見つからない。

歌詞の一部一部を切り取りGoogleだけでなくTwitterで誰か言及してないか調べたがヒットせず。

詳しく調べたところ、当時は有線にアニソンチャンネルは1つしかなく、「CG-27ch アニメステーション」で流れたと考えられる。

(なお、アニメステーションが割り当てられていたCG-27chは2007年に「インディーズステーション」に変更された。)

インターネットアーカイブとある回の曲リストが見ることができたが、すべてCD番号(型番)がついてある曲のみで

一部で言われていた同人CD説はかなり可能性が低い。

https://web.archive.org/web/20031021074528/http://onair.usen.ne.jp/cgi-bin/songlist.cgi?ch=C27-A

しかし、このアニメステーションは「マニアック」「アニマニ☆ギャルゲーの館」というニッチプログラム存在

これらではアニメソング以外にもOVAギャルゲーラジメーション主題歌キャラクターソングなども放送されていた。

ギャルゲーアダルトゲーム主題歌キャラソンイメージソングの類はCD化されていても歌詞ネットに全く無いという事も多く

実際に「ギャルゲーの館」で流されたときめきメモリアル3キャラクターソング乙女座祈り」も有名作に関わらず歌詞がヒットしなかった。

個人的ゲームの曲、特にアンチヒーロー物のアダルトゲームの様な気がして、2000年前後のそういった作品

該当の主題歌がないか調べたが、見つからなかった。誰か情報求む。


追記

エコーが強く歌詞聞き取りにくい部分は「everlasting night」「everlasting heart」ではないかという意見を頂きました。ありがとうございます

また、エロゲソングの線も有力という意見も頂きましたので、私はそちらの路線でもう少し調べてみます

追記2

「everlasting」というワード歌詞に4回も登場するので、これがタイトルではないかエロゲ批評空間で曲検索をすると

17曲もヒットし、その内sweet and sweet (BLACK PACKAGE) の主題歌「everlasting」の曲時間が一致する3:51だったので

これは!と思いましたが全く違う曲でした。他の曲もすべて違いました。

追記3

https://anond.hatelabo.jp/20210607024405

1日かからず99%解決 

ゲームタイトルはC-sawatの『ユメミルトメ~受け継がれる​想い~』 曲名は『the everlasting light ~約束の夢~』 

ありがとうございます  念のためAmazonマーケットプレイス古書店CD付きのB's-LOG 2005年12月号買いました

追記3.5

同様にユメミルトメ記事掲載された雑誌

Cool-B Cool-B VOL.6

微熱王子 Vol.12

Cool-B Sweet Princess VOL.1(最後記事掲載) も格安で売っていたので買いました

ただ駿河屋なので届くのがいつになるか…

追記4

https://game9.5ch.net/test/read.cgi/gboy/1105678755/683-

5chのKAKOLOGから主題歌の初出が2005年9月24日(土)と判明

このスレッドはKAKOLOGからじゃないと表示されなかった(Googleちゃんとして)

当時の評価は……



追記5

https://i.imgur.com/mLKzCsx.jpg

6月11日、やっと届いて曲目を確認。該当の『the everlasting light約束の夢~』は7曲目に収録。

早速外付けのDVD/CDドライブに入れて聴こうとすると…全く読み込まない。CDをよく見ると、うろこ雲のような白い汚れが全面についている。

CD自体は未開封だったが、本の保管環境が良くなかったのだろうか。メガネ用の洗浄剤で綺麗にすると読み込み始めたが

今度はぶっ壊れるんじゃないかっていう異音。そして吐き出されるCD。お役御免したDVDドライブ付きのノートを2台引っ張り出すも結果は同じ。

どうも普通CDより僅かに厚みがあるようで、手で回すと突っかかりがあって回ってくれない。


https://i.imgur.com/5xGetH1.mp4




小物置きになってたCDラジカセまで登場して、やっと再生。『the everlasting light約束の夢~』で間違いないです。

音源や尺はニコニコに上がっていたものと全く同じで、音質的にもほとんど変わらないように思いました。

雑誌の方には作曲者インタビュー的な情報はありませんでしたが、ゲームの紹介記事が1頁ありました。

主人公(女性)が毎晩悪夢を見てしまい、それが予知夢として次々実現していくので夢の内容を手がかりに男性キャラと共に事件解決に奮闘する…

というストーリーでした。かなり歌詞に反映されています

2021-05-04

次元」は整数値だけではない。無理数次元だって有り得る

世の中ではあまり知られていないようだけど、「次元」というもの整数値だけじゃないんだよ。

すなわち、1次元(直線)、2次元(平面)、3次元(立体)、4次元(時空間)…のような整数次元以外の図形も有り得るんだ。

いや別に、これは私が勝手に構築した妄想内での話じゃない。ちゃんとした数学での話だ。

一般フラクタルと呼ばれる図形では、無理数次元というものが考えられるんだ。

まず、フラクタルとは何か。

それは、図形全体がその一部分から再帰的に定義される図形のことだ。

まあ、これじゃ何言ってるかわからないよね。でも、具体例を見ればピンと来るだろう。

有名なのはシェルピンスキーのギャスケットというやつだ。

こいつは三角形なんだけど、その中身が細かくくりぬかれた図形であり、そのくりぬき方に規則性がある。

まず最初に、三角形中央をくりぬく。くりぬく形は元の三角形上下反転させて、半分の大きさにしたもの

すると、上、左下、右下に3つの三角形が残る。

これらも同じように、さらに半分の大きさの三角形中央をくりぬいていく。

これを無限に繰り返したものが「シェルピンスキーのギャスケットのギャスケット」というわけだ。

無限に繰り返すため、最終的にはそれこそ「骨しか残らない」ような図形になる。元々は三角形だったのに、線みたいな図形になるわけだ。

また、この図形は、例えば真ん中より上側を見るとわかるんだけど、図形の一部分と元の図形が同じ形になっている。

例えば、元の図形は、中央に逆にした三角形のくりぬきがあるが、その上側でも同様に、中央三角形のくりぬきがある。

また、そのくりぬきの左側をそれぞれ見てみよう。

元の図形でも、その上側でも、やはり小さい逆向きの三角形でたくさんくりぬかれた三角形が、全く同じように存在するだろう。

というふうに、「シェルピンスキーのギャスケット」は、その図形全体がある一部分の繰り返しで形成されるわけで、

先の定義のとおり、同図形はフラクタルの仲間というわけだ。

ここまで、「シェルピンスキーのギャスケット」は同じ形の繰り返しということを述べたが、この後、無理数次元の話をするために、もうひとつだけ注意しておく。

それは、同図形は大きさを2倍にすると、同じ図形が3つに増えることだ。

先に述べたとおり、同図形はその上半分と同じ形をしている。そして、同じ形が上半分、左下、右下に現れる。

まり、辺の長さを2倍にした「シェルピンスキーのギャスケット」を描こうとすると、

元の図形を真ん中以外の、上半分、左下、右下に3つ配置した図形になるわけだ。

もう一度繰り返すが、「シェルピンスキーのギャスケット」は辺の長さを2倍にすると、図形全体は3倍になる(★)。

これは、後で無理数次元の話をするときに、もう一度出てくるから、よく理解しておいてほしい。

さて、この増田無理数次元について述べるものだった。

それでは、次元とはなんだろう。

突然だが、ここで、正方形立方体を頭に思い浮かべてほしい。

その1辺を2倍にすると、正方形の面積、立方体の体積はどうなるか。

正方形は、縦の長さと横の長さが2倍になるので、面積が4倍になる。

立方体は、縦の長さと横の長さと高さが2倍になるので、体積が8倍になる。

さて、面積や体積は1辺を2回または3回かけ算すれば求められるので、

この4倍や8倍という値も、2の2乗から4倍、2の3乗から8倍として求めてもよいことがわかるだろう。

これをまとめると、

2を次元乗すれば、図形が何倍になるかがわかる(☆)

というわけだ。

例えば、立方体場合は、立体なので次元が3で、図形は8倍になるだった。

一方で(☆)の考え方でも、2を次元乗、つまり3乗することで、図形が8倍になることがわかる。正方形場合も同様だ。

すなわち、わざわざ正方形立方体を頭に思い浮かべたり、面積や体積の公式を思い出さなくても、

(☆)の関係を考えれば、辺を2倍にしたとき、図形が何倍になるかがわかるのである

そして、数学では(☆)を次元定義とするわけだ。

(これは「ハウスドル次元」と呼ばれる。なお、ここでは簡略化のため、単位長さを2倍にする場合だけ考える。)

すると、無理数次元についてようやく説明ができる。

ここでは、前述の「シェルピンスキーのギャスケット」の次元を考えてみよう。

(★)で述べたとおり、同図形では「辺の長さを2倍にすると、図形全体は3倍になる」のだった。

よって、「シェルピンスキーのギャスケット」の次元をdとすると、(☆)から、2のd乗=3が成り立つはずだ。

d=1とすると、左辺は2の1乗なので、2となり、左辺の方が小さい。

d=2とすると、左辺は2の2乗なので、4となり、左辺の方が大きい。

から、dは1から2の間にあるだろうことがわかるだろう。

まり、「シェルピンスキーのギャスケット」は直線(1次元)と平面(2次元)の間にある存在だというわけだ!

これは、直感的には以下のような理解の仕方が可能だ。

同図形は三角形(平面)で構成されたものであるため、ベースとなるのは2次元である

しかし、先に述べたとおり、その中身は無限にくりぬかれていく。

まりほとんど中身はスカスカになっていく。「骨しか残らない」図形で、線みたいになっていく。

から、「シェルピンスキーのギャスケット」の次元も、2次元よりは線(1次元)に近いのだから、少し小さい値になるだろう、というわけだ。

ちなみに、このdを実際に計算するには対数log)が必要だが、おおよそ1.58となる。

この場合log無理数となるので、一番最初に述べたとおり、無理数次元というものが本当に存在するというわけだ。

シェルピンスキーのギャスケット」は部分的には三角形の組み合わせなので、平面である2次元のように見えるが、

細かくしていくとさらにその中に空白があるため、2次元よりは少し小さいだろう…

その感覚を数式化したものが、先に挙げた無理数次元というわけだ。

2021-03-22

4月から異動になる

営業アシスタント入社した今の部署退職が続出してて、入社3年目にして解散することになった

営業の人たちはそれぞれ他の部署に配属されたけど、アシスタントわたしだけ、他の部署アシスタントやるか人手の足りない社内システム部に行くか…っていう雰囲気で進退未定だった

結果的に、前職でSEしてた経歴を掘り起こされて社内システム部に異動になった

結婚して、子供もいずれ持つだろうから…と言う判断で、定時で帰れて育休も時短も実績多数あるから給料安くても今の仕事転職したのになぁ?!

前職、社内システム部とかじゃなくて、機械メーカーの組込系の仕事だったから正直ネットワークとかクラウドとか全くわからないしその仕事自体も正直苦手で苦痛だったか転職した部分もあるのに

しかも異動したら残業休出も増えるのに給料据え置きとか嫌すぎる

社内システム部の人、普段何か問い合わせとか依頼してもすっごい上から目線でなんもわかんないバカ相手すんの嫌だわーって雰囲気出してきててマジで腹立つよねって他の部署アシスタント同士で愚痴りあってるくらい感じ悪いのにそんなとこでやって行ける気がしない

夫は元同僚だから社内SEいいじゃん〜!って応援してくれるけど「私が死ぬほど出来が悪かったの覚えてるでしょ?!」っていうと言葉に詰まってたからやっぱり無理かもって思う部分もあるっぽい

でも三十過ぎで未経験事務系の仕事探すのめちゃくちゃ苦労したからそこからさらに年齢積んでるのにまたあの苦労をするのもつらい

とりあえず一年だけ頑張ってみよう…とは思ってるし、ダメならやめて本格的に妊活しても良いかもね〜って夫も言ってるし、4月からも頑張るけどさぁ

結婚しててよかったな…たとえ体壊して辞める羽目になっても、即露頭に迷う心配ないしな…

でも逆に夫が身体壊して仕事辞める可能性もあるから出来る限り細く長く働いてたいんだよなぁ

あーーー頑張りたくない!!!

IT関係勉強ももうしたくない!!!

前職時代基本情報受かったの完全に奇跡的に丸暗記した過去問のヤマが当たったおかげだからマジで何にもわからん!!!

なんとかソートとかLogなんとかとか、二度と見たくない!!!!!

2021-03-17

洋ゲーにハマることでもTOEIC900点には到達可能

ゲーム趣味なら、かなりいいと思う、洋ゲー

洋ゲーはおおむね以下の二つに分けられる

邦訳がないゲーム

ウンコみたいな品質邦訳があるゲーム

もちろんちゃんとした邦訳ゲームもあるが、少ない けっこう少ない

ミックスウッドの家具が欲しいならトゥー・カーペンターズに行け、とKevinが言っていたよ。」的なクオリティの訳がかなり多い わかるけど、絶対原語でやったほうが楽しいんですよ

バカにしてるとかではない ゲームの訳、絶対難しいし、絶対やりたくないもん 仕方ない

しかし、英語が読めれば、というか、英語を無理矢理でも読んでやれば、このカテゴリわけは途端に意味を失う

全部「普通にプレイ可能ゲーム」に早変わりだ

面白そうなゲームをみっける

レビュー欄をみる

日本語訳が出るのが待ち遠しいです」

「残念なことに、翻訳の質があまり良くないです。」

非公式ですが、有志の日本語訳ならあるようです!」

こういう言及を全部なぎ倒して、おのれの力でそのままプレイできる modなんかも基本的に入れ放題 英語英語の追加コンテンツを足してミスマッチは生じねえ

悲しいことだが、ゲーム界の共通言語英語

英語日本語が読めて快適にプレイできないゲームはそんなに多くはない 

「もともとロシア語で、英訳もあるがけっこうガバガバ翻訳」みたいなのはそこそこあるが、あまり問題にならない

なぜか?

英語ガバガバであることには、あまり気付かないからだ 非ネイティヴの強みがここにある

けっこう速読練習にもなる

かなり長いメッセージが出て、ウオ、と思っているうちに消えたりするから

生き残るために英語力が高まる

ものによってはリスニング練習にもならなくはない

オススメなのはアイテムがたくさん出てきて、クラフトとかビルディングとかサバイバルとか、そういう感じのことをするゲーム

あいうのは、天然の名詞学習用教材だ

木を切って木材を得る そういう動作から、Wood, timber, sapling, sap, acorn, log, branch, くらいの単語が学べる 

こういうのが積み重なるので、基礎語彙がかなり増える 

俺はstarboundとrimworld とstardew valleyの三本柱を合計1000時間以上やって、初めて受けたTOEICで950点をとれた

正直もともと英語ができなかったわけではないから、完全にゲームのおかげとは言い難い

でも受験から何年も経ち、英語といえばゲームくらいしかしてない状態でそれだったわけだし、概ねゲームのおかげだとは言えそう

実際、試験中たびたび「あっ、これスターバウンド でやった単語だ!」みたいなことを思った

いいんだよ洋ゲー

やりましょう

2021-03-06

anond:20210306191506

文系ワイ

仕事勉強してるけどそのワードめちゃくちゃ出てくる

logってなんだっけ・・・

2020-12-19

anond:20201218152541

FLOS COMIC、B's log Comicsのことかなと思ったらちょっと違った?

元請けクソSIer課長

元々あるプログラム改修してくれって言うからやったけど

C#からVBに書き直して(アイエエナンデ)

Excelデータの読み取りにNPOI使うなCOM参照使え(無人システムなのに止まっても知らないよ)

LogDBアクセスXml読み取りも弊社作成標準ライブラリ使え(目を覆いたくなるようなクソクラス群、文字列結合のクソSQL吐き出すから秒までしか日付扱えないよ)

・画面止まっちゃうから非同期関数にしたら怒られた

これだから下請けはみたいな上から目線指導されたけど、品質わざわざ落とす方向でいったい何がしたいのかね

2020-12-14

anond:20201214212238

大丈夫だよ。さっき双子座流星群みてた。(LIVEの)

log inしてないからかな。ログアウトしてみてみたら?

2020-11-29

anond:20201128153358

データは残っていますよ。増田さんのほうのトークをみてください。

メンバーがいません」になってるプロフ写真の消えた相手がいるはず。

それが、LINE引継ぎに失敗したお母様のもの

該当するLOGから必要なやり取りだけ、転送コピースクショも出来ますよ。

私も、まさかLINE相手が引継ぎできていなくて、こうなるとは思ってなかったけれども。

増田さんが消していなければ、お母様とのやり取りで必要な部分だけは問題ないと思いますので、また送ってあげてください。

2020-08-14

anond:20200813183000

多すぎだろと思って自分のみたら2487件あった

非表示ユーザ管理UIが丁寧になってからは増えるばかり

a_horuru

a_s_n_t

a-kuma3

a-lex666

a-nama-special

a-sun

a0069008

a0410

a1682

A1riron

a1ue0

a20130517

aa_R_waiwai

aaaaaomo

aaasukaaa

aabbccD

abesinzya

abll

abortion

abracadabra321

aburaagekun

acealpha

aceraceae

acomagu

ad2217

adderkun

adramine

afurikamaimai

agathon

agricola

aheadd

ahmok

ahomakotom

AHOUJIN

aht_k

aiaki

aikoku_sensei

air482

air7743

aisato1982

aitanisan

aiueo1145140

ajim029

ajisaiotoko

akagiharu

akahmys

akakiTysqe

akatuki_sato

aki-17

akiat

akihfy

akihiko810

akihiro5

akikan2

akikonian

Akimbo

AKIMOTO

akirameta331

akutsu-koumi

aLa

albertus

algot

alivekanade

allezvous

allmanbrothers

allrights

alpes

alpi-co

als_uz

amamako

amazon2287

amd64x64

amematarou

amourkarin

Amrak

amunku

An7s

andonuts

Androtest

ane36kaku

anklelab

Annihilator

ANNotunzdY

anoato

anon-c

anoneme

another2017

anotokinosobaya

ant0720

antiquekoreander

antonian

aoba_lain

aodifaud09

Aodrey

aoi-sora

aoi-yuri

aoinu1

aois

aomeyuki

aosiro

aot419

apartbylowrys

apocryphally

APPLE1234

apppppp

aquatofana

aquos12345

arabasta

araigumanooyaji

arakik10

aramaaaa

ArcCosine

architect

arearekorekore

argame

arisane

arlu

aroechan

arofour

aromabird

arrack

arttan

Arturo_Ui

arukam

aruzentina

asahikawa3

asahiufo

asakuhiroi

Asayuri

Ashburton

asiatics

asimino

asiwaramaki292

asmium

Assume

astraea777

asus-sonicmaster

ata00000

Atalante

atashi9

ATMdiary

atrandom2520

atringo3

atsuoka-rikitarou

atsushieno

atsushifx

atuix

aureliano

awesome334

awkad

axaxaxaxxaxaaxaxaxaxaaxaxa

aya_momo

AyeBee_TY

ayu118

azuk1

azumaon

azure-frogs

azzr

b_taro

B-CHAN

babim

backstar88

badApple

baikoku_sensei

baka020

Bakabot28

Bakabot46

bangflash

barbieri

barea

baronhorse

Barton

barubari2955

bbbtttbbb

bedtown

beed

beerbeerkun

beginnerchang

behuckleberry02

beki_hb

bellkun

Beluga

bengal00

benkeiblog

beresford

berlin1939

bertrandsushibarrussell

BestRgrds

beth321

Betty999

bfbchampions

bfms350

bfox

bhajime

Bifuteki

big_song_bird

bigapple11

bigchu

bigger

BigHopeClasic

bijingokai

birdstwtw

birisuken8574

bispate

bisuta

bitscreen

bkm_nowhere

bkuyijr

blackdragon

blackgamer

blockchain-bitcoin

BLUE_Galaxy

Blue-Period

blue0002

blueboy

blueday

bluegoat511545

blueribbon

blumentritt

bml

bobbbbbb

bobcoffee

bobjoker

bocbqcmn

bogus-simotukare

bohemian916

bokmal

bolivia

bonita_bonita

boobanban

bookleader

bookmarkmen

boon800

bopperjp

boruemon

bosatsumiroku

boshi

bottomzlife

BOUSOUNINJIN

brain-owner

brakun

breathemeditatethink

brendon

brompton03

bronson69

bt-shouichi

btoy

bttoy

buhikun

buhoho

buhonobameli

buko

bulldra

bullet7

businessart

buu

buzama-www_pipipipipi

bwdentm88

by-king

byfar

byod

bystander07

Byucky

bzb05445

c0ntinue

cabinotier

Caerleon0327

Caesarion

calcalmin

calcnews

camellow

caprocks5

cardamom

cardmics

CARNE

carpiyo

cartman0

CATDOG

Caterpoker

catra

catsnail

catwalk1101

cayaa

caynan

cbkf

ce5kd53sf131

cha9

chai-desu

chako00

chanbobo

change_k

chaz_21

chiaki35

chibatp9

chibikujira

chicken_geek

chicken22

chienavi

ChieOsanai

chiguhagu-chan

chihodoko

chikurou

chile-in

chinesecheese

Chinosoko

chinpokomon_master

chintaro3

chinu48cm

chirasinouramemo

chiwikipedia

chocolate0521

chocolatmacaron

chousuke7

chungus

cia62872

cild

cinderella0720

cinefuk

cinemaphile

civicpg

cj3029412

clamm0363

clapon

clclcl

cleome088

clevertime

clockworkmario

cloverstudioceo

cmplstofB

coco5959

CocoA

cocoonP

coenzeim2929

colonoe

colorless-note

comitlog

conandaisuki

confi

confusion8

coolpix

cooondl

coopanda

coper

copyrightjp

corydalis

cotbormi

covacova

cozyconemotel

cozyweblife

cq3j

craftone

crapman

cript

croissant2003

crosscrow

CrowClaw

Cru

cu6gane

Cujo

Cunliffe

curryunko

custardtarte

D_first

d-ff

D0X7akE0

dacksf25

dadabreton

dadadaisuke

dagama

dahlia_osaka

daibutsu310

daibutsuda

daidaip

dairou

daishi_n

Daisuke-Tsuchiya

daisya

daitom

daizo3

dalmacija

damepon

danaca

dande_camel

dandondandin

danseikinametaro

datemakio

Day-Bee-Toe

dayafterneet

daybeforeyesterday

daylightkun

dayuyone

dazz_2001

dc42jk

dd369

deamu

death_yasude

death6coin

deco3

dede21

dededidou

deep_one

dekaino

dekigawarui

dekijp

Delete_All

demakirai

demakking

demcoe

denilava

denpa0604

despair0906

deztecjp

dfg5ivestar

dgen

dgrtidsji

dgwingtong

differential

dissonance_83

diveintounlimit

djehgrtnlr

djkaz

djshacho

dmr

dobonkai

dodongadondon

dogdogfactory

dogrush1980

doko

doksensei

dokuco

Domino-R

dondoriyama

dongfang99

dorje2009

doropubo

doroyamada

doscoy_t

doseisandesu

dot

douai

dowhile

downtothedevil

doycuesalgoza

dozo

dpdp

Dragoonriders

Drakulya

driving_hikkey

dsino

dtpg

duckt

DukeK

Dursan

dusttrail

dzod

e_310

eap

eartht

echigoyanosobaya

edntfx41

edo04

eerga

eko

el-condor

electrolite

elephantskinhead

Eleutheria

ellm9

elve

EmanuelWilfer

emerada

enderuku

ene0kcal

enhanky

eniti

enjoyfuga

envs

envygreedlust

erayuuki

erda

Ereni

erererererr

erigami

eringix

ermanarich

eroyama

eru01

erukiti

erythritol

estragon

etc-etc

euda

evergreeen

evolist

ext3

Ez-style

f-mi

faaaaa

falkbeer

favorite_blue

FEFE

femi424

fgtcvnb

fhvbwx

fikah

filinion

findup

fishma

fk_2000

flatfive

flowerload

Flymetothemoon

Fondriest

font-da

foobarchocobo

forComments

forest318

FOx

fphantom

fraction

fractured

frad

fragilee

frecce

freedomdomqq

freefox

fripfrap32

frkw2004

Fromdusktildawn

frothmouth

FT4

ftq

ftype

Fubar

fuji_haruka

fujibay1975

fujioka223

fujisawa-zuan

fujitaweekend

fukken

fuktommy

fukurow57

fumi256

fumikef

funaborista

fune0909

fusanosuke_n

Fushihara

Futaro99

futonchan

futosuke9

fxbloggers

ga_kun

gaebeg

gaka48

gakinotukaijanai

Gakkuri-Kanabun_09

galapagosu

Galaxy42

gameps4wii

gameshop-aki

gamituki

ganbaernkon

gaojin2180

gaou2

garage-kid

gaso

GAtenohira

GATSBYtan

gaumash

gbkmm

gcyn

gebonasu30km

Gelsy

genkaiwave

genkiegao

gerarad

GEROMAX

gesyo

getou

ggeett

ggrkschan

ghat

ghosttan

giant-killing

Gim

gimonfu_usr

ginga0118

gipoexchesupr

girlicjam

gisuzi

giyo381

Gka

Gl17

gla69

gnagaoka

gnt

go_kuma

gochinchin

GOD_tomato

gogatsu26

gohki

going_zero

goingzero

gokkie

gokrock

gokudoh

goldhead

gomaberry

gomez_se

gomunaga

gonbei5963

good2nd

goodbyebluethursday41

gorgeous1020

gorotaku

gowithyou

gptsuchiya

grdgs

greenbuddha138

greenT

GreenTopTube

greg_yamada

gremor

grizzly1

gssmboy

gui1

guitarwolf

gundesignstudio

gunihton

guriuripop

guruvc

Gustav13

gustave_buzz

gyochan

gyorh

h_taiji

h1875362

h1roto

habitas

hachibeechan

hadakadenkyu

Hagalaz

hagex

haha64

hahihahi

haipaiall

hajakeigai3

hak2407

hakodama

hakoroid

hakusai913

hal9009

hamadanookazu

hamatu

hammam

hammer100kg

hamukatumix

Hamukoro

han389jm

hanagesan

hanajibuu

hanako_3101

hanamichi36

hanatakanda

hanbey64

hanihani34

hankatsuu

HanPanna

hapilaki

happybiscuit

hara-peko

hard_core

harisenbon_fukurahagi

Harnoncourt

haruhino

haruhiwai18

harumomo2006

haruna777

haruyato

hase0510

Hasen

hashigohinan

hashimotokenta1984

hatahata_chan

hataketo

hate_flag

hate1229

hatebutabooboo

hatehate17qz

hatehatehohokun

hatehenseifu

hatejirou

hatekids

hatetomomo

hatezen

hatomugicha

hatu82p

hayakuzaka

Hayano

hayato1999a

hazardprofile

hbkm

hdampty7

heartbook

hearthewindsing

heihoh

henno

heron0804

heroyoukey

hetarechiraura

hetoheto

heyacho

heyheyhey

heyjoe0123

hfukuda58

hgonzaemon2

hib3

hiby

hiccha-ya-re

Hidemonster

Hige2323

highlandview

higo-tec

hihi01

hilda_i

hilinkseiya

himagine_no9

himakao

hinapix

hinataaoi

hinbass

hiroaj

hiroharu-minami

hirolog634

hirosima88888

hiroyuki1983

hirtych

hiruneya

hisa_ino

hisatakahashi

hisawooo

hit-the-light1326

hitac

hitamu

hitode99

hitotakuchan

hituzinosanpo

hkmaro

hkstd_rock

HMT_EG

ho4416

hobbling

hobo_king

hobohate

hofdamaan

hoihoitea

homarara

honeysuckle01

hoshitamotsu

hosimisoh

hotelsekininsya

hotshotman

hotu_ta

hotwhiskey1901

houm1116

houousannzan

howlingpot

hozaku

hrmty

hrweryw

hs233

htbman

huano

hukahukahuka

humid

hung847946

hunyoki

HYLE

hylom

hyolee2

hyoumon00131

hyphenkorosi

I_am

i_ko10mi

i196

iasna

ichigan411

ichiken7

ichiro2015

icloudy

ifttt

IGA-OS

II-O

IkaMaru

ikanosuke

ikarino-ikaring

ikd18

ikd9684

ikdhkr

ikkou7

iku-sawa11

ikumen_papas

ikurii

ilkah

imaginaration

imaiworks

imakita_corp

imo_jo_chu

imo758

inazakira

inferio

infobloga

information-s

infturai

Ingunial

inikot

inmysoul

inoyo55

Insite

interstella

inumash

investor_n

InvisibleStar

invoicekun

ion4

ip6ser

ireire

Irkutsk

iroha2_hohe

irose

iRumors

is0ladelcane

ishitanakoi

isikasa

islejp

isshoku

isuchan

itarenai

itarumurayama

ite

iteau

itinitiitinti

itmammoth

itochan

itsumonotakumi

IvoryChi

iwashioyaji

iwaso_ok

iwiwtwy

iww

izaka

izeio

izure

IZutsumotti

j_naito

jack_oo_lantern

jagichan

jaguarsan

jajaludop

janosik

japonium

jbase

jdfi39kpz

jeanpierre69

jhmh

jidarakuyo

Jiken

jimpeipei

Jinhachi

jinjin442

jintrick

jiro68

jkr2348fsfsd

jmako

jminmin

joe1978

JohnP

Josequervo

jou2

JouNin

jpmccartney-jo

jpnrecord

jrf

jSFeDlT5

jt_noSke

jtw

juangotoh

jumbomonaka

junchino

Junco_junko

junk6

junmk2

junpei191

junpeso

jus7733

k_seki_tyr

k-akimaru

K-Ono

k-wacky76

k146

kaanjun

kabayakiya

kabutomutsu

kachine

kae1990

KAERUSAN

kaeuta

kagehiens

kagobon

kagoyax

kahusi

kaimondake

kaitoster

kaizyumarch

kajuido

kakei-akihiko

kako817v002

kakuseizaikiyohara

kamayan

kamenokoman

kamm

kamonyan1

KAN3

kana321

kanagawakama

kanamatch

kananta

kangiren

kanimaster

KANITAN

kanmimono

kantei3

kappei

karaage280

Karabin

karinkon

karo9231

karotousen58

karukaru7

kastro-iyan

katax1958

katouk

katow

katsuto_n

katuyatamuro

kawa106

KAYUMI

kaz_the_scum

kazatsuyu

kazoo_keeper2

kazoo_net14

kazuau

kazuhix

kazuniestyle

kazuya53

kazyee

kearai

kechack

keeeeei

keepclock

kei_1010

keidge

keiji_kc

keim_at_Si

keisolutions

keisuker

keita-agu-ynu

keitaisho

keitone

kemukujara

ken-skatan

kenchan3

kengo9999q

Kengsang

kenjiro_n

kenjou

kentaroo0722

kero-kero_ceo

kerokeropippi

keshitai

kettkett

ketudan

ketuyooo

keytracker

kfujii

KGV

khss_keita

khwarizmi

Kial

kibitaki

kikai-taro

kikanmochan

kiku-chan

kikuchi1201

kilminwq

kim_tama

kimurahayao

kinako46

kincity

kingate

kinyoo

kirifue

kisugix

kitaazabu48

Kitajgorodskij

kitamati

kitano__ow

kitano_ow2

kitty69kitty

kittyguy02

kiwi0120

kiya2015

kj03

kj3fj5854sj2d54jfi

kjkw

kkp5takeoff3

kkvv

kkzy9

klaps

kmiura

kmkm8011

Kmusiclife

kNara

knewton

knight-a

knknkn11626

Knoa

ko2inte8cu

koartist

koba1Q84

kodebuya1968

kofun

kohapapa

kohgethu

koichi99

koishitelu

kojim

kojitadokoro

kokoro__chan

kokorosha

kokosoko

komachiyo

komamix

komandojisan

komiya84

komutan1

komyuglish

kondoly

kono-tsuka

koroharo

koromokku

kotanyanko

kote2kote2

kotekczerwony

kotetsu306

koutatan

kowa

kowyoshi

koya2014

koyancya

Kracpot

ksaitou

ktakeda47

ktra

kuborie

kuesan

kuippa

kukky

Kukri

kumashirochan

kumasi

kumatarou3rd

kumonopanya

kun-maa

kuniharu_k

kunitaka

kurahito4

kuremizukun

kurik

kurimanju

KUROBUCHI

kuroi_shirokuma

kuroihikari

kurukurucure

kurumiwallnut

kusomamma

kutabirehateko

kuwatetufox

kuxttoba

kuzudokuzu

kvx

kxkx5150

kyapugooo

kyasarin123

kyo_ju

kyo1man

KyoChika

kyoto117

kyoumoe

kyousuke104

kyrina

kyuusyuuzinn

kz78

l__LINE__l

l000says

l83DK

lady_citadel_and_goddess469

lady_joker

lainof

lancelod

lapk

lavandin

laxartes

lazex

lazycamera

lazymaybee

lbtmplz

lc475nyks

lcom

leb

leiqunni

lepton9

lestructure

letari

lettuce0831

levites

Lewisik

Lhankor_Mhy

Lian

life_love

lifefucker

lifeisadog

lightly

liinter7

Lilith11

limeclimb

linus_peanuts

lithiumflower2

littleumbrellas

liveall

LiveinTokyo

lli

locust0138

logic

longroof

loopandloop

lorenz_sys

lotiontissue

lovevoiceryu

lrenir

lsho_scarecrow

luccafort

lucie_hapy

lucioniki

luliazur

Lumin

lungta

luxsuperpoor

lvseven

m_uchino

m-matsuoka

m-naze

ma1a

Machautumn

machida77

machihakoibito

mad-capone

madara-neco

mae-9

maelstrom

magamin

magefee

Magicant

MagnesiumRibbon

magnitude99

mahal

maiani

maicou

MaIf2010

mainty_com

majikichi893

mak_in

MakeLaboratory

makimain0

Makke

makopan

makou

malark

malasumasu

malein

mame_3

mamimp

manaplus

mandam111

manFromTomorrow

mangabon

mangakoji

mangkhud

maninthemiddle

manmo999

mao789

maple_magician

marony0109

maronysan

marubatsujiisan

maruhoi1

marumann

marumusu10

maruX

mas-higa

masa_grant55

masa_rst

masadasu

masahiro1977

masahiroy

masakih

masao_hg

masasia0807

masgaram

Mash

mastsouth

masudamaster

masudami

masudatarou

masumizaru

matchy2

matomepro

mats3003

matsui43378472

Matsuriame

mattn

Mattyan

maturi

maxide65

maxk1

maxmargin

mayarani003

mayumayu_nimolove

mayuyu27

mazikay

mazmot

MCBYND

McCart

mcgomez

McoMco

mczkanako

me-tro

mechpencil

meerkat00

megaflickz

meganeya3

megazalrock

megu7iyo

megumin1

meisoumusou

meitanteiconankun

mejirotan

mekon

mekurayanagi

memeambivalent

Memeo

memomemokun

memorabilia

memoryalpha

mendarukonba

mengold

MERCY

MermaidSong

metamix

metaruna

mfigure

mia311

mibe

michinao

mict

Midas

midastouch

midnight-railgun

midnightseminar

migrant777

miida599

mijyunon

mikantabete

mikio01

mikoto_9

mikoyu263

miluru

mimikakix

minaminoani

minamishinji

mineight

minodisk

minogozen

minominofx66

mint6626

mionosuke

mioooon

mirai_ryodan

miraiez

mirakichi

mirucons

miruna

miruzouq

misafusa

miscmisc

misisippitan

misochige

misomico

misopi

miyazawataichi

MIZ

miz999

mizutoyo

mjy

mm-nankanoffice

mmcoma3

mmm143

mmmou

mmmpa

mn_kun

mn112hr

mobam

mobanama

mobits

mobius118_7

moccos_info

mochi-ha

mochico121

mochinoron

moerigh

mohdameda

mohno

mojo_nobu

mokk23

mokkoda4

mokuyooo

molmolmine

molytack

Momo_suke

momonga_dash

momonga1123

momosekokoa

momyami291

mon_tes_q

monacal

monamour555

monbran4989

MoneyReport

monfortino

monmon225197810

mono_i_love

monochrome_K2

monono

monopole

montage008

mori-yoshiro

morikakeokawari

moriken_1113

morita_non

morujimania

mostaga

motimoti32

mouseion

move-wife

movesinthefield

mowan

moxsex

mr_mayama

Mr-M-H

mrescape

mrxRXr

ms6145vv

mtmblgsn

muamqm

muchalach-hoihe

mugikun97

mukimi

mukudori69

mumincacao

munioka303

Murakami

murasakizaru

murilo

murishinai

muryan_tap3

musawarjui1978

Mushiro_Hayashi

mustelidae

mutinomuti

muttowoooo11

muu2000

mw-matrixa

myogab

mz88av40

mzch

n_231

n_pikarin7

n_y_a_n_t_a

nabeteru1Q78

nack1024

nagaichi

nagaryu000

nagasawakenohoken

nagisano

Nahoo

nakab

nakaoka-j

nakex1

namita

NANA_NO1

nanamino

nanana_nine

nankichi

nanoha3

nao_cw2

naohero22

naokun776

naokunn

naole

naosika

naoto_moroboshi

napsucks

naratas

narukami

naruzawan

narwhal

naryk

nasoft

nasuhiko

natu3kan

natumeuashi

natutoyuuki

ndns

neco_pong

neco22b

negi_a

nejipico

nekoluna

nekomask

nekora

nemuinemuix

nemuiumen

nenesan0102

nennoyuraku

neo_Neutral

neogratche

neonlight_il

nephar

neriu

netcraft3

newmind

NEXTAltair

nf0507

niam

nice_and_easy

nicottowatch

nihoncha

nikousatsu

nine009

ninjaripaipan

ninosan

nise_oshou

Nishinomiya-Radio

nisisinjuku

njkch349

nkskname

NLW

NMST

nnbnn

nnbus

nnh

nns_noko21

no-genpatu

noa787

noaim

nobiox

nobody__wins

nobori_lupin

nobu1989

nobujirou

nobyuki

nohmask

nomakkah

nomitori

nonaka1007

nonameblog

nonstandardlife

nooboo

noodlemaster

noon8

norehero

norixto

north_korea

nosem

nost0nost

notsunohito

nowandzen

nownoatosaki

noza_key

nsasan642

nsgp918

nt46

ntnajp605

ntstn

nudgeemall

nuese_iryo

nuicksilver

numpad0

Nunocky

nunune

nyakapoko

nymc

Nyoho

nyokkori

nyusokuonline

nzxx

o-0-0-o

o-t-326

Object357

obsv

occha

oceantug

oddly

oguratesu

ohana3

oir3ny

oka_mailer

OkadaHiroshi

OKIIZO

okinawa-rail

okonomi0573

oktnzm

okureiman

omega314

omegaiz

omomom

onasussu

one-mam

onepiece-framework

onesplat

onigashira_3

onim

onnagomi

oono_n

ophites

opinion19453

opps_long

option-trade

orangefruit

orangelip

orangeno8

orangexxxx

orbit2014

ore_de_work

orenonihongogayabai

oreokun

orx85mok110305v36

os1o3

osaan

osappiro

oskimura

osknabe

osnq

osugi3y

osyamannbe

otihateten3510

otsune

ottyanko

ouhens

ounce

outdoor-kanazawa

outer-inside

Outfielder

outroad

oxy_oxynotes

oya3

oystr

ozp

p_shirokuma

p8q

panda_porn

pandaman47

pandaporn

Panthera_uncia

paradisemaker

paravola

pasopiya

passwordkun

pastatch

patrickrott34

paulownia

pazl

pcnikki

pe9pe9

peerxpeer

pega2s

peppers_white

perfectspell

periodict

pero_0104

PerolineLuv

peroon

Pgm48p

phantast

pholxia

Pi7

pianocello7

pianopop_on

PIEZOU

pif

pilpilpil

Pinguicula

pinkyblue

piro-de-sky342

pittimesquare

pk1dggxm

pkmn012345tkt

plagmaticjam

plasma0713

pmc12

pmint

pochi76

pojihiguma

poko_pen

Pokopon

pokotanu

pokute8

politru

polo_polo_polo

pomerance

pomojan

pompomponta

ponpon_qonqon

popnshoes

popoi

posmoda

potD

potohud

poyuma

pps2bg

pptp

p Permalink | 記事への反応(2) | 01:10

2020-07-22

anond:20200722135033

この本で数学的に意味のある記述って、

くらいだから

レポート用紙半分くらいの内容しかない

あと全部ポエム

で、もちろんこれらを知ったところでIUT理論の内容は全く分からない

「数式を使わずに難しいことを説明している」のではなくて、そもそも内容自体がない

2020-07-21

宇宙宇宙をつなぐ数学 - IUT理論の衝撃」の感想

Amazonレビューなどに書くと過去レビューから身バレする可能性があるのと、わざわざ別アカウントを作ってまで批評するほどのものではないと思ったので、こちらに書きます

初めに断っておきますが、本稿は別に加藤文元先生人格や業績などを否定しているわけではありません。また、IUT理論やその研究者に対する批判でもありません。「IUT理論が間違っている」とか「望月論文査読体制問題がある」などと言う話と本稿は全く無関係です。単純にこの本に対する感想しかありません。

----

加藤文元先生の「宇宙宇宙をつなぐ数学 - IUT理論の衝撃」を読みました。結論から言って、読む価値の無い本でした。その理由は、

ほとんど内容がない」

この一言に尽きます数学書としても、一般書としてもです。

本書の内容と構成

本書は、RIMS(京都大学数理解析研究所)の望月新一教授が発表した数学理論である、IUT理論宇宙タイミューラー理論)の一般向けの解説書です。

1~3章では、数学研究活動一般説明や、著者と望月教授交流の話をし、それを踏まえて、IUT理論画期的であること、またそれ故に多くの数学者には容易には受け入れられないことなどを説明しています

4~7章では、IUT理論の基本理念(だと著者が考えているアイデア)を説明しています技術的な詳細には立ち入らず、アイデア象徴する用語フレーズを多用し、それに対する概念的な説明や喩えを与えています

8章がIUT理論解説です。

まず、数学科の学部3年生以上の予備知識がある人は、8章だけ読めばいいです。1~7章を読んで得られるものはありません。これはつまり「本書の大部分は、IUT理論本質的関係ない」ということです。これについては後述します。

各章の内容

1~3章は、論文受理されるまでの流れなどの一般向けに興味深そうな内容もありましたが、本質的には「言い訳」をしているだけです。

IUT理論が多くの数学者に受け入れられないのは、従来の数学常識を覆す理論から

望月教授が公開された研究集会などを開かないのは、多数の人に概要だけを話しても理解できないから。

などの言い訳が繰り返し述べられているだけであり、前述の論文発表の流れなどもその補足のために書かれているに過ぎません。こういうことは、数学コミュニティの中でIUT理論懐疑的人達説明すればいい話であって、一般人に長々と説明するような内容ではないと思いますもっとも、著者が一般大衆も含めほとんどの人がIUT理論懐疑的である認識して本書を書いたのなら話は別ですが。

4~7章は、「足し算と掛け算の『正則構造』を分離する」とか「複数の『舞台』の間で対称性通信を行う」などの抽象的なフレーズが繰り返し出てくるだけで、それ自体の内容は実質的説明されていません。

正則構造とは、正方形の2辺のように独立に変形できないもの

対称性とは群のことで、回転や鏡映などの操作抽象化したもの

のように、そこに出てくる「用語」にごく初等的な喩えを与えているだけであり、それが理論の中で具体的にどう用いられるのかは全く分かりません(これに関して何が問題なのかは後述します)。そもそも、本書を手に取るような人、特に1~3章の背景に共感できるような人は、ここに書いてあるようなことは既に理解しているのではないでしょうか。特に6~7章などは、多くのページを費やしているわりに、数学書に換算して1~2ページ程度の内容しか無く(誇張ではなく)、極めて退屈でした。

8章はIUT理論解説ですが、前章までに述べたことを形式的につなぎ合わせただけで、実質的な内容はありません。つまり、既に述べたことを並べて再掲して「こういう順番で議論が進みます」と言っているだけであり、ほとんど新しい情報は出て来ません。この章で新しく出てくる、あるいはより詳しく解説される部分にしても、

複数数学舞台対称性通信をすることで、「N logΘ ≦ log(q) + c」という不等式が示されます。Θやqの意味は分からなくてもいいです。

今まで述べたことは局所的な話です。局所的な結果を束ねて大域的な結果にする必要がありますしかし、これ以上は技術的になるので説明できません。

のような調子で話が進みますいくら専門書ではないとはいえ、これが許されるなら何書いてもいいってことにならないでしょうか。力学解説書で「F = maという式が成り立ちます。Fやmなどの意味は分からなくていいです」と言っているようなものだと思います

本書の問題

本書の最大の問題点は、「本書の大部分がIUT理論本質的関係ない」ということです(少なくとも、私にはそうとしか思えません)。もちろん、どちらも「数学である」という程度の意味では関係がありますが、それだけなのです。これがどういうことか、少し説明します。

たとえば、日本には「類体論」の一般向けの解説書がたくさんあります。そして、そのほとんどの本には、たとえば

素数pに対して、√pは三角関数特殊値の和で表される。(たとえば、√5 = cos(2π/5) - cos(4π/5) - cos(6π/5) + cos(8π/5)、√7 = sin(2π/7) + sin(4π/7) - sin(6π/7) + sin(8π/7) - sin(10π/7) - sin(12π/7))

4で割って1あまる素数pは、p = x^2 + y^2の形に表される。(たとえば、5 = 1^2 + 2^2、13 = 2^2 + 3^2)

のような例が載っていると思います。なぜこういう例を載せるかと言えば、それが類体論典型的重要な例だからです。もちろん、これらはごく特殊な例に過ぎず、類体論一般論を説明し尽くしているわけではありません。また、類体論一般的な定理証明に伴う困難は、これらの例とはほとんど関係ありません。そういう意味では、これらの例は類体論理論的な本質を示しているわけではありません。しかし、これらの例を通じて「類体論が論ずる典型的現象」は説明できるわけです。

もう一つ、より初等的な例を出しましょう。理系なら誰でも知っている微分積分です。何回でも微分可能実関数fをとります。そして、fが仮に以下のような無限級数に展開できたとします。

f(x) = a_0 + a_1 x + a_2 x^2 + ... (a_n ∈ ℝ)

このとき、両辺を微分して比較すれば、各係数a_nは決まります。「a_n = (d^n f/dx^n (0))/n!」です。右辺の級数を項別に微分したり積分したりしていい場合、これはかなり豊かな理論を生みます。たとえば、等比級数の和の公式から

1/(1 + x^2) = 1 - x^2 + x^4 - x^6 + ... (|x| < 1)

両辺を積分し、形式的にx = 1を代入すると

arctan(x) = x - x^3/3 + x^5/5 - x^7/7 + ...

π/4 = 1 -1/3 + 1/5 - 1/7 + ...

のような非自明な等式を得ることができます。これは実際に正しい式です。また、たとえば

dy/dx - Ay = B (A, B ∈ ℝ、A≠0)

のような微分方程式も「y(x) = a_0 + a_1 x + a_2 x^2 + ...」のように展開できて項別に微分していいとすれば、

Σ((n+1)a_{n+1} - Aa_n) = B

  • a_1 - Aa_0 = B
  • (n+1)a_{n+1} - Aa_n = 0 (n ≧ 1)

よって、

  • a_{n+1} = Aa_n/(n+1) = A^n (B + A a_0)/(n+1)! (n ≧ 0)

a_0 = -B/A + C (Cは任意の定数)とおけば、

  • a_n = C A^n/n! (n ≧ 1)

「e^x = Σx^n/n!」なので、これを満たすのは「y = -B/A + Ce^(Ax)」と分かります

上の計算正当化する過程で最も困難な箇所は、このような級数収束するかどうか、または項別に微分積分ができるかどうかを論ずるところです。当然、これを数学科向けに説明するならば、そこが最も本質的な箇所になりますしかし、そのような厳密な議論とは独立に「微分積分が論ずる典型的現象」を説明することはできるわけです。

一般向けの数学の本に期待されることは、この「典型的現象」を示すことだと思います。ところが、本書では「IUT理論が論ずる典型的現象」が数学的に意味のある形では全く示されていません。その代わり、「足し算と掛け算を分離する」とか「宇宙間の対称性通信を行う」などの抽象的なフレーズと、それに対するたとえ話が羅列されているだけです。本書にも群論などの解説は出て来ますが、これは単に上のフレーズに出てくる単語注釈しかなく、「実際にIUT理論の中でこういう例を考える」という解説ではありません。これは、上の類体論の例で言えば、二次体も円分体も登場せず、「剰余とは、たとえば13 = 4 * 3 + 1の1のことです」とか「素因数分解ができるとは、たとえば60 = 2^2 * 3 * 5のように書けるということです」のような本質的関係のない解説しかないようなものです。

もちろん、「本書はそういう方針で書く」ということは本文中で繰り返し述べられていますから、そこを批判するのはお門違いなのかも知れません。しかし、それを考慮しても本書はあまりにも内容が薄いです。上に述べたように、誇張でも何でもなく、数学的に意味のある内容は数学書に換算して数ページ程度しか書かれていません。一般向けの数学の本でも、たとえば高木貞治の「近世数学史談」などは平易な言葉で書かれつつも非常に内容が豊富です。そういう内容を期待しているなら、本書を読む意味はありません。

繰り返し述べるように本書には数学的に意味のある内容はほとんどありません。だから、極端なことを言えば「1 + 1 = 2」や「1 + 2 = 3」のような自明な式を「宇宙宇宙をつなぐ」「正則構造を変形する」みたいに言い換えたとしても、本書と形式的に同じものが書けてしまうでしょう。いやもっと言えば、そのような言い換えの裏にあるもの数学的に正しい命題意味のある命題である必要すらありません。本書は少なくとも著者以外にはそういうもの区別が付きません。

本書の続編があるなら望むこと

ここまでネガティブなことを書いておいて、何食わぬ顔でTwitter加藤先生ツイートを拝見したり、東工大京大に出向いたりするのは、人としての信義に反する気がするので、前向きなことも書いておきます

まず、私は加藤先生ファンなので、本書の続編が出たら買って読むと思います。まあ、ご本人はこんな記事は読んでいないでしょうが、私の考えが人づてに伝わることはあるかも知れませんから、「続編が出るならこんなことを書いてほしい」ということを書きます

まず、上にも書いたような「IUT理論が論ずる典型的現象」を数学的に意味のある形で書いていただきたいです。類体論で言う、二次体や円分体における素イデアル分解などに相当するものです。

そして、IUT理論既存数学との繋がりを明確にしていただきたいです。これは論理的な側面と直感的な側面の両方を意味します。

論理的な側面は単純です。つまり、IUT理論に用いられる既存重要定理、およびIUT理論から導かれる重要定理を、正式ステートメント証明抜きで紹介していただきたいです。これはたとえば、Weil予想からRamanujan予想が従うとか、谷山-志村予想からFermatの最終定理が従うとか、そういう類のものです。

直感的な側面は、既存数学からアナロジーの部分をより専門的に解説していただきたいです。たとえば、楕円曲線のTate加群が1次のホモロジー群のl進類似であるとか、Galois理論位相空間における被覆空間理論類似になっているとか、そういう類のものです。

以上です。

加藤文元先生望月新一先生、およびIUT理論研究・普及に努めていらっしゃるすべての方々の益々のご健勝とご活躍を心から祈り申し上げます

2020-07-11

anond:20200711003808

お気持ちを声色で伝えたかった

仕事でもLogわんことにはなにも出来ませんぜ?って電話フツーにかかってくるぞ

そんもんさ

2020-07-02

anond:20200702015215

美少女アニメ文脈を完全拒否するなら、わざわざ包括的オタクという単語を使うことはなく、

マンガが好き、ゲームが好き など特定の○○が好きで良いのでは?


ワイはリアタイエロゲーギャルゲー黄金期を経験した世代じゃないけど、

エロゲーギャルゲー黄金期の世代が残したWEB Log の跡地では

結構確率で様々な視点(シナリオ学、哲学、他の映画マンガ)から

それらが検証・楽しまれているのが見てとれて

この世代に生まれたかったなぁと思ったりする

いまは50歳場合よっちゃ60歳以上になってんのかな?

2020-06-29

anond:20200629153146

どうせほとんどの読者は高校数学さえ理解していないのだから、何を解説したって数学本質的理解は無理なのかもしれない

彼らには、以下はどれも同じに見えている

正の数X, Yに対して、log(XY) = log(X) + log(Y)

N元N次一次方程式は、N次正方行列AとN次元の列ベクトルx, bを用いて、Ax=bと書ける。

この方程式が一意的に解けるためには、Aの行列式が可逆であることが必要十分。

二次体の有限次Abel拡大は、1のべき根と、楕円モジュラー函数特殊値と、虚数乗法を持つ楕円曲線の等分点の座標で生成される。

Xを位数q=p^mの有限体F_q上のn次元非特異射影代数多様体、Y=X×_{F_q}(F_qの代数閉包)とすると、

#X(F_q) = ∑[i=0, 2n](-1)^i Tr(F_q, H^i(Y, Q_l))。

ここでF_qはFrobenius写像、H^i(Y, Q_l)はi次l進エタールコホモロジー(l≠p)。

Cをダークマター作用を持つN次元クリスタル、Xをそのアトラクターとすると、XからCへの次元変換Fは、固有なファクター方程式

F = F_1 ⊕ ... ⊕ F_N

を満たす。

仮に全編にわたって無意味なことを書いてもおそらく判別できないだろう。

2020-06-10

anond:20200610173619

覚える必要のあることなんて何一つない。ただ、覚えると便利だから覚えているだけ

そんなことは言っていない。

もちろん導出に数十分かかる公式なんかは現実的には覚えないとしょうがないんだけどね。

少なくとも高校数学でそんな公式あるの?

あと、「導出に時間がかかるから覚える」なんてことも言っていない。

文中で挙げた例では、加法定理証明などはそこそこ長いが、こいつは回転が1次変換であることと、(1, 0), (0, 1)が平面の基底であるという当たり前の事実が分かっていれば、cos(π/2+θ)とsin(π/2+θ)の値だけから決まるということが分かる。

でもそれは本質的ではなく、「理論上は解ける」ことの方が重要増田はそういう話をしているんだろう。

そんな話はしていない。

もちろん例外はいくらでもある。例えば積分の(基本的な)公式は覚えるしかない。

積分基本的公式って何?

置換積分や部分積分公式は、合成関数や積の微分対応するんだから、覚える必要ないよね。

log(x)の積分なんかはテクニカルかも知れんが、部分積分適用できる好例だし、そもそもこんな単純な初等関数微分積分なんか、習得して当たり前。そんなもんを「覚えなければいけない」なんて感じるのは、意識問題

まあ結果を覚えるというより導出を覚えるべきなんだけど、

そんなことも言っていない。

テクニカルアイデアが大量に詰まっているので「容易に自分で思いつける」類のものではない。

そもそも、「覚えなければいけない」の対義語は「自分でおもいつく」じゃない。

日本語理解おかしいんだよ。

結局覚えるべきものはいくらでもある。でも増田はそういう専門的な話はしていないと思う。

一貫して覚える必要のあるものほとんどないと言っている。

また、定理などを覚えるべきかどうかについて、高校数学大学数学で違いがあるとも言っていない。

ログイン ユーザー登録
ようこそ ゲスト さん