チューリングラブ

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

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

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

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

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

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

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

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

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

愛は計算じゃ解けない

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

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

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

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

(あいのう？ゆーのう？)

アイノウ？ユーノウ？

(もうたいていのじしょうにおいて)

もう大抵の事象において

(ｑがあってａをだしてとけるのに)

QがあってAを出して解けるのに

(かんちがってまちがって)

勘違って間違って

(かいのないこのきもちはなんだろう)

解のないこの気持ちはなんだろう

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

検証is不明瞭

(ｄａｚｉｎｇ！！)

DAZING!!

(もーしょんはそうたいせいにすてい)

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

(ちゅーりんぐらぶ)

チューリングラブ

(みつめあったったってとけないめろう)

見つめあったったって解けないメロウ

(わっといずらぶ)

ワットイズラブ

(いま１２３であかそうか)

いま123で証そうか

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

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

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

ハートで高鳴るアンサー

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

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

(ちゅーりんぐらぶ)

チューリングラブ

(ちゅうにまったったってしんじないけど)

宙に舞ったったって信じないけど

(ふぉーりんらぶ)

フォーリンラブ

(いまはａｂｃすらばぐりそうだ)

いまはABCすらバグりそうだ

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

なんでか教えてオイラー

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

感想きかせてフェルマー

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

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

(さあしょうめいしよう)

さあ証明しよう

(まちがいのないように)

間違いのないように

(しょうめいしよう)

証明しよう

(このかんじょうぜんぶぜんぶ)

この感情全部全部

(しょうめいしよう)

証明しよう

(せいかいがあるなら)

正解があるなら

(しょうめいしよう)

証明しよう

(しんぷるなｑ．ｅ．ｄ．)

シンプルなQ.E.D.

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

今日こそ証明したい！

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

目に視えない　無理難題を

(ａｓａｐ！)

ASAP!

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

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

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

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

(ふかしぎなこのあのまりーをときあかすかていさえひつようじょうけんです。)

不可思議なこのアノマリーを解き明かす過程さえ必要条件です。

(「３じげん（りったい）における２てんのａｂかんのきょりをもとめよ。」)

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

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

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

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

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

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

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

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

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

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

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

(まるだってばつだって)

○だって×だって

(ふあんにとっていこーるで)

不安にとってイコールで

(ちかくなってとおくなって)

近くなって遠くなって

(ゆれるこのきもちのはりも)

揺れるこの気持ちの針も

(じょうけんｉｓめいりょう！！)

条件is明瞭!!

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

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

(ちゅーりんぐらぶ)

チューリングラブ

(さわぎだしたむねのいたくなるほど)

騒ぎ出した胸の痛くなるほど

(しょうめいはいまも)

証明はいまも

(かくどをましているようだ)

確度を増しているようだ

(あいまいもじょがいして)

曖昧も除外して

(さいだいのかせつを)

最大の仮説を

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

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

(ちゅーりんぐらぶ)

チューリングラブ

(みつめあったったってきりないめろう)

見つめあったったってキリないメロウ

(わっといずらぶ)

ワットイズラブ

(いま１２３であかそうか)

いま123で証そうか

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

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

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

ハートで高鳴るアンサー

(はかったってふかくていせい)

測ったって不確定性

(ぼくらのｂｐｍ)

ぼくらのBPM

(ちゅーりんぐらぶ)

チューリングラブ

(ちゅうにまったったってそのいんがも)

宙に舞ったったってその因果も

(ふぉーりんらぶ)

フォーリンラブ

(いまはｘｙｚまでわかりそうだ)

いまはXYZまで解りそうだ

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

確かめさせてピタゴラス

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

確かにさせてリーマン

(よそくずみかへんせい)

予測済み可変性

(いまふれてみる)

いま触れてみる

(さあしょうめいしよう)

さあ証明しよう

(まちがいのないように)

間違いのないように

(しょうめいしよう)

証明しよう

(このかんじょうぜんぶぜんぶ)

この感情全部全部

(しょうめいしよう)

証明しよう

(せいかいがあるなら)

正解があるなら

(しょうめいしよう)

証明しよう

(すいそくをこえて！)

推測を超えて！

(しょうめいしよう)

証明しよう

(まちがいのないように)

間違いのないように

(しょうめいしよう)

証明しよう

(このかんじょうぜんぶぜんぶ)

この感情全部全部

(しょうめいしよう)

証明しよう

(せいかいがあるなら)

正解があるなら

(しょうめいしよう)

証明しよう

(しんぷるなｑ．ｅ．ｄ．)

シンプルなQ.E.D.