Abstract.
本稿では、設計・実装・言語仕様・UIその他あらゆる人工物に対して経験的に観測される量 Kimo-ness $K$ を導入する。
従来、設計品質は保守性、複雑度、一貫性、拡張性など多数の指標によって評価されてきた。
しかし実務においては、これらの評価に先立ち
「なんかキモい」
という観測が、高い感度で構造的欠陥を検出することが知られている。
本稿の主要結果は次の恒等式である。
$$
\mathrm{Kimo}(x) \iff \mathrm{Gross}(x)
$$
これは一見自明であるが、その自明性ゆえ約300年間体系的研究の対象とされてこなかった。
1. Introduction
ある設計 $x$ を観測した開発者が、
「これ、なんかキモない？」
と発話する状況を考える。
従来研究では、この感覚は「主観」「好み」「説明不足」として棄却される傾向にあった。
しかし多数の実務例を観察すると、Kimo-nessの上昇は以下の現象と強い相関を持つ。
- 責務境界の崩壊
- 特殊ケースの増殖
- 名前と意味の乖離
- abstraction leakage
- 「なんでここだけこうなん？」の発生
- 将来ほぼ確実に書き直すコードの存在
そこで本稿では、Kimo-nessを一次的な設計指標として扱う。
2. Definition of Kimo-ness
対象 $x$ に対するKimo-nessを
$$
K(x) \in \mathbb{R}_{\geq 0}
$$
と定義する。
ただし実際の値を測定する必要はない。
なぜなら、
$$
K(x) > 0
$$
を人間が検知した時点で通常、
「キモい」
と発話するからである。
Definition 2.1 — The Kimo Identity
$$
\boxed{\mathrm{Kimo}(x)=\mathrm{Kimo}(x)}
$$
これはKimo-nessにおける恒等射である。
圏論的には、
$$
id_{\mathrm{Kimo}} :
\mathrm{Kimo}
\to
\mathrm{Kimo}
$$
であり、入力されたキモさを一切損失なくキモさとして保存する。
3. The Fundamental Theorem of Kimo-ness
Theorem 3.1
対象 $x$ がキモいならば、$x$ は気持ち悪い。
$$
\mathrm{Kimo}(x)
\Rightarrow
\mathrm{Gross}(x)
$$
Proof
「キモい」とは「気持ち悪い」の意である。
よって、
$$
\mathrm{Kimo}(x) = \mathrm{Gross}(x)
$$
したがって成立する。
$$
\boxed{\mathrm{Q.E.D.}}
$$
4. The Converse Theorem
Theorem 4.1
対象 $x$ が気持ち悪いならば、$x$ はキモい。
$$
\mathrm{Gross}(x)
\Rightarrow
\mathrm{Kimo}(x)
$$
Proof
同上。
$$
\boxed{\mathrm{Q.E.D.}}
$$
以上より、
$$
\boxed{
\mathrm{Kimo}(x)
\iff
\mathrm{Gross}(x)
}
$$
を得る。
この結果を Kimo-ness Fundamental Equivalence と呼ぶ。
5. Nontrivial Zeros
ここでKimo-ness関数
$$
K(s)
$$
を複素平面へ解析接続したと仮定する。
自明な零点は、
$$
K(x)=0
$$
すなわち、
「別にキモくない」
設計に対応する。
一方、非自明な零点は、
「一見キモくないのに、3ヶ月後に見ると猛烈にキモい」
設計として現れる。
本稿では次を予想する。
Kimo-ness Conjecture
すべての非自明なKimo-ness零点は、
$$
\Re(s)=\frac{1}{2}
$$
上……
には特に存在しない。
ただし なんとなくそれっぽいので $\frac{1}{2}$ を置いた。
6. Application to Software Architecture
設計レビューにおいて、
$$
\mathrm{Architecture}
\xrightarrow{\mathrm{human}}
\mathrm{Kimo?}
$$
という写像を考える。
結果が True の場合、
キモい
↓
どこがキモい？
↓
責務がおかしい
↓
境界を切る
↓
キモくなくなる
という反復過程を適用する。
このアルゴリズムは次の擬似コードで表される。
while kimo(design) {
design = fix_what_feels_kimo(design)
}
終了条件は厳密には証明されていない。
実際、レビューする人間が細かい場合、永久に終了しない可能性がある。
7. Discussion
Kimo-nessの最大の特徴は、理由の言語化より 検知が先に発生する 点にある。
つまり、
$$
\mathrm{違和感}
\to
\mathrm{分析}
\to
\mathrm{構造的理由}
$$
であり、
$$
\mathrm{完全な分析}
\to
\mathrm{違和感}
$$
ではない。
このため熟練者の
「なんかキモい」
は単なる感情ではなく、多数の過去事例を圧縮した 高次元ヒューリスティック である可能性が高い。
ただし、
「なんとなくキモいので全部書き直しました」
は研究上も実務上も危険である。
したがって推奨手順は、
$$
\boxed{
\mathrm{キモい}
\to
\mathrm{理由を探す}
}
$$
であり、
$$
\boxed{
\mathrm{キモい}
\to
\mathrm{全部燃やす}
}
$$
ではない。
8. Conclusion
本稿では、約300年間見過ごされてきた次の基本原理を示した。
$$
\boxed{
\mathrm{キモいものは気持ち悪い}
}
$$
さらにその逆も成立するため、
$$
\boxed{
\mathrm{キモい}
\iff
\mathrm{気持ち悪い}
}
$$
である。
この結果は、ソフトウェア設計、言語設計、UI設計、および
「なんかこれ嫌やねんけど説明できん」
問題全般への応用が期待される。
今後の課題として、
- Kimo-nessの定量化
- Kimo Monadの存在証明
- 非自明なKimo零点の分布
- Kimo-nessと技術的負債の相関
-
Kimo<A>がFunctor則を満たすか
などが挙げられる。
References
[1] Morishita, K., 「これキモない？」, private communication, 2026.
[2] Morishita, K., 「キモいのは気持ち悪いということやからな」, foundational result, 2026.
[3] GPT-5.6 Sol, On Needlessly Making This Sound Academic, 2026.
[4] Unknown, Kimo Monad Considered Harmful, 未刊行.
※ 本記事はソフトウェア設計における「なんかキモい」を厳密に研究したものです。
※ 厳密ではありません。