GREETINGS｜代表挨拶

Published: September 20, 2021, 22:17 (UTC+9) Last Updated: May 28, 2026, 14:59 (UTC+9) Revision: 77

代表挨拶 v_i5.1.73（最新版）

Groundism（着地主義）

目的は「この１回目の人生を最大限豊かにすること」
TANAAKKが2006年の創業以来、2026年の今に至るまで問い続けているのは、
・存在とは何か(decidability vs undecidability)
・決定とは何か(entscheidungsproblem vs halting)
・論理宇宙の形状と物質宇宙の形状の相違(continuum vs discrete)
・不可能性の境界はどこにあるか(P vs NP)
・証明と回路の双対性（proof complexity vs circuit complexity）
・スケールとは何か（proof distribution vs proof verification）
・演算資源とは何か（randomness vs pseudo randomness）
という、生命・文明の背後にある公理性（axiomaticity）の探求です。そしてそのような哲学的探求以上に最も重要視しているのが、「この１回目の人生を最大限物質的に豊かにすること(Groundism)」です。
世間から隔絶された数学者のように複雑系の暗号記述に没頭するのは片手落ちであり、axiomaticityを現実の生活に繋げることこそが最もエキサイティングな複雑系の計算問題であると私たちは定義しています。人生100年という限られた局所系において、現実という実数空間における願望の実現（整数解）を至上目的として、数学的コヒーレンスが量子力学(quantum dynamics)、古典力学(classical mechanics)に可換されるトートロジーをgeodesicで記述する一連の技法をOntopologicsと名付け、運用しています。
健康は全てに優先される
WHO（世界保健機関）は、健康を「身体的、精神的、社会的、そして霊的に完全な状態（a state of complete physical, mental, social, and spiritual well-being）」と定義しており、単に病気がないことをもって健康とはしません。この定義に照らすと、私たちが日常的に行う「仕事」とは、単に一次欲求（食欲・睡眠・性欲・身体的接触）を満たすための手段を超える必要があります。仕事とは単なる手段ではなく、生きることの意味を物理的実体に変え、つながる力（spiritual coherence）として再認識するための“構造的儀式”ではないでしょうか。それは食事のように腹を満たすのと同質に人間にとって必須であり、重力のように静かに、しかし確実に、私たちを空間という力の海の中に位置づけます。
書いてあることは難しいが、やってみるとなぜかうまくいく
「難しいことを分かりやすく言う」のは表面的な合意を生みますが、それは過度の矮小化であり根本的な解決ではありません。過度な矮小化は主張している当事者ですら自分の言葉に騙され、大局を見失います。論理的に整合な命題を投げかけているproverはその論理の整合性を自分自身で証明することはできません。これが我々限定的演算資源しか持たないノードである人間がverifierとしてのdistributed computationを必要とする理由であり、宇宙というArthur-Merlin Gameのルールの面白さの源泉です。このパラドックスは古くはカントール、ヒルベルト、フレンケル、ゲーデル、チューリングから連綿と続く人類の真理の自明なトートロジー連鎖でしょう。難しいことを難しいまま機能させる対話型zero knowledge proofは、時代の信仰に影響されることなく、静かに地層を塗り替える試みです。
そして、創業当初に毎日書いていた「読むと健康になるブログ」のように、「書いてあることは難しいが、やってみるとなぜかうまくいく」という実感を得られることをTANAAKKは目指しています。