どうして言語は一つにならないの？ 〜相対化して学ぶプログラミング言語論

どうして言語は一つにならないの？

～相対化して学ぶプログラミング言語論

Is there a "Best" programming language?

A comparative look at How they work

pixiv Inc.

USAMI Kenta

2025-07-25 #techramen25conf旭川リサーチセンター - TechRAMEN 2025 Conference

お前誰よ

• うさみけんた (@tadsan) / Zonu.EXE / にゃんだーすわん
• ピクシブ株式会社 Platform Div > WebTechnology Team PHPer
• 2012年末から現職、APIとかCIとかいろいろなところを見つめてきました
• 最近チームが再編されてインフラっぽい仕事もしてます
• Emacs PHP Modeを開発しています (2017年-)
• プログラミング言語にちょっとこだわりのある素人 (spcamp2010)

出身地は札幌と旭川の間

PHPカンファレンス

昨年のTechRAMEN

プログラミング言語史

あした後日祭やります

今回のお題

会社の飲み会で同僚に言われました

Q.「えっと、tadsanがやってる言語ってなんだっけ？」

僕はプログラミング言語が趣味みたいな人間なのでいっぱいやってます

僕はプログラミング言語が趣味みたいな人間なのでいっぱいやってます

A.「外部でよく発表してるのはPHP」

Q.「なんで言語っていっぱいあるの？ そのうち一個にならない？」

A.「いい質問ですね!」

特に初心者は覚えることが多い

Web開発は多言語を要求しがち

• バックエンド言語どれか
• JavaScript(Node.js), Ruby, Python, Java, C#, PHP, ...etc.
• フロントエンド
• HTML, JavaScript, TypeScript, CSS, ...etc.
• その他
• SQL, 正規表現, シェルスクリプト ...etc.

どれか1つにならんかと願いたくなる気持ちはわかる

言語を1個だけ覚えたらなんでも作れる！

ゲームも作れるしシステム開発もできる

そうなったらいいのにな…

ところで

「言語」#とは

「自然言語」人間が日常的に使う

「人工言語」人間が目的をもって設計した言語

Q.(自然言語)何言語知っていますか？

日本語、英語、中国語、韓国語ドイツ語、フランス語、タイ語ヒンディー語、マレー語…

言語って結構いっぱいある

日本人は結構「何か国語」「母国語」って言っちゃいがち

国≠言語

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

国際SILという団体による言語調査

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

国際SILという団体による言語調査

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

国際SILという団体による言語調査

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

国際SILという団体による言語調査

公用語エスノローグ調べ

(手話を除く)

日本

(事実上)

インド

EU加盟国

Q.(自然言語)何言語しゃべれますか？

私は日本語しかしゃべれません

＼(^o^)／

世界にプログラミング言語は何種類あるでしょうか

151種類！

…と断言してくれるオーキド博士がいてくれたらよかったのですが… そのように明快な回答は出せない

(計算機言語)何言語言えますか？

GitHubの言語検出

594

GitHubの言語検出

コンピュータ言語

• 人工的に作られた言語のうち、コンピュータで処理することを

前提に設計された言語

• データ記述言語 (HTML, XML, JSON, Markdown, ...etc.)
• 問い合わせ言語 (SQL, SPARQL, …etc.)
• スタイルシート言語 (CSS, XSL, …etc.)
• プログラミング言語 (C言語, JavaScript, Ruby, Python, ...etc.)

このトークでは言語の種類を厳密には区別しない…

が、分類する必要性が生じている時点で統一無理そうという予感がしてくる

プログラムで全てを司る

• 汎用のプログラミング言語、だいたい何でも書ける
• データも記述できる
• 問い合わせもできる
• スタイルシートも埋め込める
• もちろんプログラムも書ける (それはそう)

データ記述言語もなんでもできる

• 例: GitHub Actions (YAML)
• GitHubで処理させることをYAMLで記述する
• 制御構造を持っていて、ほかのActionsを呼び出せる
• 構文としてはYAMLだが、これって独自のプログラミング言語では？

データと処理の世界を往復する

• Lispという言語はプログラムをS式というリスト形式で記述する
• 関数は (format “string”) のような形式で記述する
• マクロという言語機能によって、コンパイル過程でプログラムを生成できる
• データとプログラムが同じ構造をとっている (同図像性)
• eval という機能でリストをプログラムとして実行できる
• Julia, Elixirなどの言語はS式ではないが、この性質を受け継いでいる

eval

• evaluation (評価)
• プログラムの実行中に文字列やリスト形式のプログラムを実行することで、

柔軟な実行時処理を実現できる

• 非常に強力だが、多用しすぎると処理が追いにくい意味不明なプログラムに

なりがち

• 現代となっては(Lisp以外の世界では)使うなという風評になっている

なんでもできるは難しい

プログラムで全てを司る

• 汎用のプログラミング言語、だいたい何でも書ける
• 良いことも、悪いことも、なんでも記述できる
• 意図しない記述で無限ループに陥るとか
• 「大いなる力には大いなる責任が伴う」
• LispやRubyなどはこういう考えが前提にありそう

式言語 (expression language)

• ユーザーに計算式やロジックなどを入力させたいケースがある
• 汎用のプログラミング言語よりもシンプルな計算式や数学関数だけを持つ

「式言語」を提供することで、プログラミング

• プログラミング言語そのものを入力させると

任意コード実行(ACE： Arbitrary Code Execution)が成立しうる

• 悪意がなくても、うっかりで停止しないプログラムを書けてしまう

Excel数式

• スプレッドシートのセルに数式を書くと、計算結果が画面に表示される
• 基本的には「命令」は書けなかった (過去形)
• 近年はExcelではPythonプログラムを書けたり、

Google SpreadsheetsではJavaScriptを書けるようになった

Write once, run anywhereの夢

• Javaは「一度書けばどこでも動く」マルチプラットフォーム性を謳っていた
• 汎用的なライブラリなどは共通化できるが、アプリケーションとしては

環境固有の実装が必要

• 現代でもReact Native(JavaScript), Flutter(Dart), KMP(Kotlin

Multiplatform) などマルチプラットフォームの環境は多い

• WebAssembly(WASM)

プログラミング言語のパラダイム

なんちゃら型、なんちゃら指向

• 一般に普及しているプログラムは「手順」を順番に記述する (手続型)
• C言語(手続き型)→C++, Java, C#(オブジェクト指向)
• どれもC言語を発展させたような言語と捉えられる(互換性はない)が、

それぞれのアプローチは非常に違っている

• 関数を基本的な単位とするパラダイム (関数型)

PHPはどこでも65点がとれる言語

• 「現代におけるプロダクト開発とPHPを選定するワケ #phpkansai」
• By @potato4d (PHPカンファレンス関西2017)
• 小難しいことを考えずに簡単にWebアプリを書ける(HTML+α)の言語
• なんだかんだいってWEB+DB連携がさくっとできる言語ランタイムとして

の存在感は健在

• 求められているのは素晴らしい言語ではなく簡単に使える言語