チューリングラブ

(あーこいのていぎがわかんない)

あー、恋の定義がわかんない

(まずすきってきじゅんもわかんない)

まずスキって基準もわかんない

(ようはこいしてるときがこいらしい)

要は、恋してるときが恋らしい

(きゃっかんしゅかんえびでんすぷりーず)

客観？　主観？　エビデンスプリーズ！

(あいはけいさんじゃとけない)

愛は計算じゃ解けない

(まずふつうのけいさんもとけない)

まず普通の計算も解けない

(ようはそんなじょうたいがあいらしい)

要は、そんな状態が愛らしい

(あいのうゆーのう)

アイノウ？　ユーノウ？

(もうたいていのじしょうにおいてｑがあってａをだしてとけるのに)

もう大抵の事象において　Q があって A を出して解けるのに

(かんちがいってまちがってかいのないこのきもちはなんだろう)

勘違って間違って　解のないこの気持ちはなんだろう

(けんしょうｉｓふめいりょう)

(検証 is 不明瞭)

(ｄａｚｉｎｇもーしょんはそうたいせいにすてい)

DAZING！！　モーションは相対性にステイ

(ちゅーりんぐらぶみつめあったってとけないめろう)

チューリングラブ　見つめあったって解けないメロウ

(わっといずらぶいま１２３であかそうか)

ワットイズラブ　いま 123 で証そうか

(ことばでうみだすくえすちょん)

言葉で生み出すクエスチョン　(クエスチョン！)

(はーとでたかなるあんさー)

ハートで高鳴るアンサー　(アンサー！)

(はかったってふかくていせいぼくらのｂｐｍ)

測ったって不確定性　ぼくらの BPM

(ちゅーりんぐらぶちゅうにまったってしんじないけど)

チューリングラブ　宙に舞ったって信じないけど

(ふぉーりんらぶいまはａｂｃすらばぐりそうだ)

フォーリンラブ　いまは ABC すらバグりそうだ

(なんでかおしえておいらー)

なんでか教えてオイラー　(オイラー！)

(かんそうきかせてふぇるまー)

感想きかせてフェルマー　(フェルマー！)

(よそくふかのうせいいまふれてみる)

予測不可能性　いま触れてみる

(さあしょうめいしようまちがいのないように)

さあ証明しよう　(証明しよう)　間違いのないように

(しょうめいしようこのかんじょうぜんぶぜんぶ)

証明しよう　(証明しよう)　この感情全部全部

(しょうめいしようせいかいがあるなら)

証明しよう　(証明しよう)　正解があるなら

(しょうめいしようしんぷるなｑｅｄ)

証明しよう　(証明しよう)　シンプルな Q.E.D.

(きょうこそしょうめいしたい)

今日こそ証明したい！(しよう！)

(めにみえないむりなんだいを)

目に視えない　無理難題を

(ａｓａｐ)

ASAP！

(みちびきだしたいたどりつきたいさいてきかいへ)

導き出したい　たどり着きたい　最適解へ

(なんどからまわりったってぶつかっちゃったって)

何度空回ったって　ぶつかっちゃったって

(ふかしぎなこのあのまりーを)

不可思議なこのアノマリーを

(ときあかすかていさえひつようじょうけんです)

解き明かす過程さえ必要条件です。

(３じげんりったいにおける２てんａｂあいだのきょりをもとめよ)

「3次元(立体)における 2点 AB 間の距離を求めよ。」

(てきなかんじだとおもってたのに)

的な感じだと思ってたのに

(ざひょうもこうしきもみあたらないし)

座標も公式も見当たらないし

(さんこうしりょうにものっていないから)

参考資料にも載っていないから

(きみとうみだしてみせたいじゃん)

君と生み出してみせたいじゃん

(３じげんせかいにおけるこのきもちのもとめかた)

3次元(世界)におけるこの気持ちの求め方

(まるだってばつだってふあんにとっていこーるで)

○だって×だって　不安にとってイコールで

(ちかくなってとおくなってゆれるこのきもちのはりも)

近くなって遠くなって　揺れるこの気持ちの針も

(けんしょうふめいりょう)

(検証 is 不明瞭)

(ｓｔｅｐｐｉｎえもーしょんはそうあいせいみすていく)

Steppin’！！　エモーションは相愛性ミステイク

(ちゅーりんぐらぶさわぎだしたむねのいたくなるほど)

チューリングラブ　騒ぎ出した胸の痛くなるほど

(しょうめいはいまもかくどをましているようだ)

証明はいまも　確度を増しているようだ

(あいまいもじょがいしてさいだいのかせつを)

曖昧も除外して　最大の仮説を

(いまふたりならじっしょうできそう)

いま、ふたりなら実証できそう

(ちゅーりんぐらぶみつめあったってきりないめろう)

チューリングラブ　見つめあったってキリないメロウ

(わっといずらぶいま１２３であかそうか)

ワットイズラブ　いま 123 で証そうか

(ことばでうみだすくえすちょん)

言葉で生み出すクエスチョン　(クエスチョン！)

(はーとでたかなるあんさー)

ハートで高鳴るアンサー　(アンサー！)

(はかったってふかくていせいぼくらのｂｐｍ)

測ったって不確定性　ぼくらの BPM

(ちゅーりんぐらぶちゅうにまったってそのいんがも)

チューリングラブ　宙に舞ったってその因果も

(ふぉーりんらぶいまはｘｙｚまでわかりそうだ)

フォーリンラブ　いまは XYZ まで解りそうだ

(たしかめさせてぴたごらす)

確かめさせてピタゴラス　(ピタゴラス！)

(たしかにさせてりーまん)

確かにさせてリーマン　(リーマン！)

(よそくすみかへんせいいまふれてみる)

予測済み可変性　いま触れてみる

(さあしょうめいしようまちがいのないように)

さあ証明しよう　(証明しよう)　間違いのないように

(しょうめいしようこのかんじょうぜんぶぜんぶ)

証明しよう　(証明しよう)　この感情全部全部

(しょうめいしようせいかいがあるなら)

証明しよう　(証明しよう)　正解があるなら

(しょうめいしようすいそくをこえて)

証明しよう　(証明しよう)　推測を超えて！

(しょうめいしようまちがいのないように)

証明しよう　(証明しよう)　間違いのないように

(しょうめいしようこのかんじょうぜんぶぜんぶ)

証明しよう　(証明しよう)　この感情全部全部

(しょうめいしようせいかいがあるなら)

証明しよう　(証明しよう)　正解があるなら

(しょうめいしようしんぷるなｑｅｄ)

証明しよう　(証明しよう)　シンプルな Q.E.D.