言語の世界

言語の世界 Powered by Rabbit 0.9.2

言語の世界

ネットワーク応用通信研究所楽天技術研究所

Rubyアソシエーション@yukihiro_matz

まつもとゆきひろYukihiro "Matz" Matsumoto

プログラミング言語って？

言語ってなんだろう？

プログラム＝手順書

手順書記述用人工言語

プログラム＝理想記述

思考表現用人工言語

せめぎあうふたつの立場

機械のためか？

人間のためか？

FORTRAN (1954)

FORmula TRANslator

FORTRAN (1954)

人間のため

数式でプログラムできるよう

FORTRAN (1954)

機械のため

速く計算できるためにはどんなことでも

FORTRAN (1954)

ループアンローリング

ベクトル化

FORTRAN (1954)

背景

コンピュータが遅かった

FORTRAN (1954)

背景

「言語の常識」がまだなかった

LISP (1958)

LISt Processor

LISP (1958)

人間のため

数学的概念からスタートラムダ計算

LISP (1958)

機械のため

IBM704計算機car＝content of address registercdr＝content of data register

LISP (1958)

人間のため

ガーベージコレクター

LISP (1958)

人間のため

Lispプログラマは値はなんでも知っているが、コストについてはなにも知らない

LISP vs FORTRAN

人間主義 vs 機械主義

勝者は？

Algol!

漁夫の利

原始的すぎるFORTRAN

数学的すぎるLISP

求められたのはアルゴリズム記述

新たな伝統の誕生

Algolは滅びぬ！何度でもよみがえるさ

Algol属

Algol → PL/I

Algol → Pascal

Algol属

Ada, Eiffel, C, C++, Java,...

Lispへの揺り戻し

Smalltalk, Scheme, Ruby,...

言語のカンブリア爆発

カンブリア爆発

古生代カンブリア紀の間に突如として今日見られる動物の「門」が出そろった現象

1960年代後半から1970年代前半までに多種多様な言語が誕生した現象

言語のカンブリア爆発現在の「重要」な言語分類の基礎

システムプログラミング言語C:1972

オブジェクト指向言語Simula:1967

スクリプト言語Shell:1971

関数型言語ML:1972

「変な言語」も

配列指向言語APL:1960

論理型言語Prolog:1972

並列言語アクターモデル:1973

つまり、どういうことか

キバヤシ

優れた言語のアイディアは1970年代までに出揃っているのだよ！

MMRメンバー

なんだってーーっ！！

言語設計者受難の時代

どうせ既存のものの組み合わせさ

そうは言っても

人気の言語はそれなりに新しい

Perl (1986)

Python (1990)

Ruby (1995)

PHP(1995)

そうは言っても

人気の言語はそれなりに新しい

Java (1995)

C# (2000)

Scala (2003)

Erlang (1986)

新しい？

とは言っても１０年、２０年

新しい？

言語の世界じゃ１０年くらいじゃまだまだはなたれ小僧さ

新しい言語の動機

作りたかったから

新しいパラダイム

新しい環境

新しい制約

構造化プログラミング

オブジェクト指向プログラミング

関数型プログラミング

ここ２０年くらい登場してないなあ

過去のパラダイムの組み合わせ

既存のパラダイムの組み合わせ

並列＋関数型

オブジェクト指向＋関数型

並列＋論理型

既存のパラダイムの組み合わせ

バランスの良い組み合わせ

新しい環境

新しいOS

新しいCPU

新しいアプリケーション

MapReduce

新しい制約

CPU数

メモリ量

データ量

アクセス量

どこまでが言語か

文法

ライブラリ

アーキテクチャ

デザインパターン

コミュニティ

エコシステム

思想

人格

温故知新

歴史から学ぶ

歴史のパターン

歴史の振り子

集中 vs 分散

歴史の振り子

性能 vs 生産性

歴史の振り子

静的 vs 動的

歴史の振り子

正確さ vs 柔軟さ

未来の言語

APLによるライフゲーム

未来の言語

Whitespace

Whitespaceによるhello world

未来の言語

新しいぶどう酒は新しい皮袋に

[「マタイ 9:17」より引用]

旧来の言語

古いぶどう酒は古い皮袋に

未来の言語

大規模分散

高抽象度

未来へのパラメータ

データ量

アクセス量

CPU数

データ量

ビッグデータ

アクセス量

クラウド

ソーシャルゲーム

CPU数

マルチコア

クラウド

未来の言語

Erlang

Node.js

の発展形

Erlang

分散

アクターモデル

Node.js

大量アクセス

非同期I/O

統計・解析

ビッグデータ連携 (R-ODM)

宣言的データ取得

高抽象度

言語の楽しさ

プログラミングの楽しさ

言語の楽しさ

言語＝プログラミング

言語の楽しさ

言語実装＝プログラミング

言語の楽しさ

言語実装＝プログラミング総合芸術

言語の楽しさ

言語設計＝プログラミング

言語の楽しさ

言語設計＝発想をプログラミング

言語の楽しさ

We program you!

Enjoy Programming!

言語の世界

Technology

言語・オートマトン - iip.ist.i.kyoto-u.ac.jp · 形式言語理論は，プログラミング言語を設計する基盤になっているほか，マークアップ言語や自然言語処理，

「古い言語、新しい言語」 LL Future

晚清改革中的語言烏托邦從提倡世界語到廢滅漢字晚清改革中的 29 語言烏托邦在所有的語文改革方案中，最激進的是提倡以「世界語」（Esperanto）取代漢

3_C言語入門 - C言語の基本

アラジン・フォーラムが提供する言語処理ツールと言語データ2014/08/27 · アラジン・フォーラムが提供する言語処理ツールと言語データ

第２章言語プログラミングの言語

以上の言語を認識 Win/Mac のプロフェッショナル版製品型番 … · 2014-02-12 · 認識言語を世界のほとんどの言語に拡張 – 190以上の言語を認識

オブジェクト指向言語オブジェクト指向言語演習

ラトヴィアにおける言語状況と言語政策・言語教育政策 · ラトヴィアにおける言語状況と言語政策・言語教育政策 -30-語辞典であった。その後、主にドイツ語によるラトヴィア語の辞書の編纂は続いていく。

言語知識（文字・語彙）－ - Mitoyo

言語解析論 - 国立大学法人岡山大学 · 言語コンピュータでの言語処理 • 2つの言語処理 – 人間の言葉à自然言語 – コンピュータà形式言語

C# 語言與Razor語法

第5回NINJALフォーラム日本語新発見 ―世界から見た日本語―...第5回NINJAL フォーラム（2012 年3 月24 日）（角田）世界の言語から見た日本語・日本語から見た世界の言語

(裏)世界一言語トークス by Python

言語の不可算性から見る言語学と言語政策 - Tokyo …repository.tufs.ac.jp/bitstream/10108/93022/1/dt-ko-0268.pdfCsb. ＝カシューブ語、Eng. ＝英語、Fre

プログラミング - OSLoptsci.eng.shizuoka.ac.jp/class/programing1/1st_lecture.pdf · 参考書：「明快入門C ... •低級言語（マシン語，アセンブリ言語）⇔高級言語（C言語，Java

C言語入門web.cc.yamaguchi-u.ac.jp/~okadalab/CLangI2014/CLangI2014...C言語入門第11週プログラミング言語Ⅰ(実習を含む。), 計算機言語Ⅰ・計算機言語演習Ⅰ,

プログラミング言語 10 言語処理系tau/lecture/... · 2019-07-17 · 高水準言語vs. 機械語高水準言語(e.g., C) 機械語制御構造 for, while, if, ... ˇ

第二言語習得の限界について第二言語習得の限界について梶原秀夫 0．はじめにまず今回も用語（ (1） terminology）の確認から本論を展開させていただくことにする。言語獲得

境界研究へのアプローチとしての言語管理 - SRC-Hokudaisrc-h.slav.hokudai.ac.jp/publictn/JapanBorderReview/no9/...境界研究へのアプローチとしての言語管理