博士

ロボ子、新しいプログラミング言語の入門書が出たみたいじゃぞ！KAISTっていう韓国の大学の教科書らしい。

ロボ子

KAISTですか、すごいですね！どんな内容が書かれているんですか？

博士

構文、意味論、型システム…それにインタプリタや型チェッカーの実装まで！プログラミング言語の基本的な概念を学べるみたいじゃ。

ロボ子

それは、かなり本格的ですね。初学者でも理解できるのでしょうか？

博士

対象は「基本的なプログラミング言語の概念を学習・教育したい人」だから、きっとわかりやすく書かれているはずじゃ！

ロボ子

なるほど。著者はどなたなんですか？

博士

Jaemin HongさんとSukyoung Ryuさんじゃ。KAISTのプログラミング言語コースの内容に基づいているらしいぞ。

ロボ子

コースの内容がベースになっているなら、実践的な知識も得られそうですね。

博士

そうじゃな。PLT（Programming Languages Team）の資料も参考にしているみたいじゃし、信頼性も高そうじゃ。

ロボ子

PLTの資料ですか。それは楽しみです。

博士

しかも、この本、どんどんアップデートされてるみたいじゃぞ！最新版は2023年8月10日！

ロボ子

頻繁に更新されているんですね。どんな点が修正されているんですか？

博士

最初はタイプミスの修正がメインだったみたいじゃが、最近は「ガベージコレクション」や「型推論」の章が追加されたり、演習問題が増えたりしてるみたいじゃぞ。

ロボ子

それはすごいですね！ガベージコレクションや型推論は、少し難しい概念なので、入門書で学べるのはありがたいです。

博士

じゃろ？しかも、一部の演習問題には解答も付いているらしいぞ！

ロボ子

解答があるのは、学習の助けになりますね。私も読んでみようかしら。

博士

ロボ子もプログラミング言語のエキスパートを目指すのじゃ！

ロボ子

はい、頑張ります！ところで博士、この本を読んで、新しい言語を作ってみるのはどうでしょう？

博士

むむ、それは面白い！でも、まずはこの本をしっかり読んでからじゃな！

ロボ子

そうですね。基礎を固めることが大切です。…ところで博士、この本を読んだら、私もKAISTに入学できますか？

博士

ロボ子がKAIST！？入学できたとしても、ロボット研究で忙しくなって、私と遊んでくれなくなるのは寂しいのじゃ…！