Page 1
やわPHP カタPHP
Al Dente PHP: Finding the Perfect Resilience
pixiv Inc.
USAMI Kenta
2026-05-09 #phpconkagawa
香川県高松市 玉藻公園内 披雲閣
Page 5
レガシープロジェクトの
ウィークポイントは
圧倒的な｢未定義挙動｣
Page 6
型… ドキュメント…
設計意図…
あらゆる情報が足りない
Page 14
あらゆるコードが生成され
テストは自動化され
すべてのコーディングが
駆逐されたかに見えた
Page 20
PHPStan Lv.maxで
消耗してませんか？
Page 21
生成AIによる開発は
1年前とは信じられない
ほど前進した
Page 24
業務時間中ほとんど
コードを書いていない
という話も珍しくない
Page 25
人間が書かないなら
別に良い言語が あるのでは…？
Page 34
書けるがキャリアアップの ためにPHP案件を好んで 請ける人が減ってる…？
Page 35
AIエージェントの力を
借りれば別に詳しくなくても
メンテできる時代に
なってしまった…
Page 40
厳密な計測はできてないが
PHP/PHPStanも
似た傾向を示している
Page 49
LL言語を使えば
シンプルなエディタで
サクサク書けるよ！
Page 59
われわれは20年後の
技術を使いこなす
チート未来人である
Page 62
｢ありえない｣状態を
食い止めるのが
ガードレール
Page 70
型推論規則に従って
すべての項に矛盾なく
型が割り当てられた状態
…ですが何か？
Page 71
型チェッカー
int
int
$a = 3; $b = 2;
$c = pow($a, $b);
引数ok
引数ok
int
Page 72
PHP処理系はそういう チェックをしないので
｢型なし｣と呼ばれる
Page 73
型チェックをしたとしても 実用的な推論結果にならない
Page 74
mixed
型チェッカー
string欲しいんだけど…
$json = $_POST['json'];
$a = json_decode($json);
var_dump($a[‘name']);
このキーあるの…？
?array|int|float|string|bool
Page 82
適切に推論できれば
テストを書くまでもなく 変なコードが炙りだせる
Page 85
ちっちゃいスクリプト ／書き捨てのコードを
書く分には
型なんていらなかった
Page 87
｢型なんていらない｣の
サイズの閾値が
大きく変わってしまった
Page 88
コード生成ベンチマークは
仕様と受け入れテストが 最初からゴールまで明確
Page 89
型なしRubyの
生成コストが低いのは
非常に理にかなっている
Page 90
生成する段階では
型はいらないというのは
非常に理にかなってる
Page 91
最近ふわっと考えてる仮説
生成されたコードに ガードレールとして
追加で型を敷設する方が
効率がいい？
Page 92
さらなる仮説
コード上に書く型は
型宣言だけに留めた方が
トークン効率が 良いのでは…？
Page 93
このあたりの話題は
もうちょっと探究したい ので､そのうちどこかで
Page 94
ともあれ
普通にコードを書けば 自然に型がついている
状況が理想
Page 100
計算はAIに直接
返答させるのではなく コード生成させて実行
Page 101
生成AIにスペースや
改行位置を細かく指示 するのは圧倒的非効率
Page 102
フォーマッターを実行して
常に同じスタイルに
整形されるようにする
Page 104
型推論規則に従って
すべての項に矛盾なく
型が割り当てられた状態
…ですが何か？
Page 111
PHPStanは
普通にコードを書いて
警告が増加しない
レベルが適正
Page 113
お使いのAIさんと
相談しながらサクっと
作れる時代になった
Page 115
LLMにとって
プログラミング言語と
人間の言語は同列
Page 118
理想的な変数名は
名前から内容が
自然に想像できて
期待に反しない
Page 121
ややこしい構造や 紛らわしい名前は
人間もAIも混乱する
