香川研究室の紹介

香川研の研究テーマ

1. プログラミング言語処理系の研究
    
2. プログラミング学習支援システムの研究
    

プログラミング
言語処理系
の研究

プログラミング言語の歴史

今後も、間違いなく新しいプログラミング言語が誕生する。
さらに、既存のプログラミング言語にも新しい要素が導入されていく。

なぜ複数の言語を学ぶ必要があるか

• 「井の中の蛙🐸大海🐳を知らず」にならないよう、別の世界の存在を知る
• 将来の新しい言語に備える

大目標

特定のプログラミング言語、慣用の計算機システム、 ルーティン化したプログラム作成の手順などに規定される閉じた世界から解き放ち、 次元の異なった抽象的な視点からプログラミング言語やプログラムを眺める機会を与える

関数型プログラミング言語

Haskell, OCaml, F#, Scala, など

• 本質的に単純な構造
• 高度な型システム ⋯ 型推論・型クラス
• OOPL とは異なる拡張性 ⋯ パターンマッチング
• 副作用を撤廃、または強く制限 ⋯ モナド

メジャー言語とは、違う方向から理想に近づく！
cf.) programming languages influence network（外部リンク）

プログラミング
学習支援システム
の研究

“The camel has two humps”

by Saeed Dehnadi & Richard Bornat, 2006

• プログラミングの学習者の成績は良い／悪いに二分され、中間がない (論文自体はプログラミングの素質のテスト法の提案)

プログラミング言語の学習の問題
学習者側の問題

• 時間の割に多種の言語を学ぶ必要がある
• 処理系のインストール・使用法や詳細な文法規則に煩わされる🏊🚴
• プロ用の開発環境は初心者向けに設計されたものではない

プログラミング言語の学習の問題
教育者側の問題

• ドキュメントを用意しても、コンパイラーなどと連動しないため学生が利用しづらい
• 学習を支援するためのツールを用意しても、今度はその使用法が煩雑になる
• 他の教師が用意した教材は、カスタマイズしないと利用しにくいクセがスゴイ

⇨ Web ベースのプログラミング学習支援システム

プログラミング言語の学習の問題
最近の小中高の学習者の問題

• Scratch などでプログラミングの楽しさに目覚めても、その後が続きにくい
• ロボットなどのハードウェアを用いると、学ぶ側は楽しいが、準備する側は負担が大きい

卒研ゼミについて

ゼミのやり方

3 年生

• 輪講と講義
  Haskell, アルゴリズム（英語の本）, etc

4 年生以上

• 卒研に関連する論文紹介
• 卒研プロジェクト進捗報告

こういう人を求めています

• プログラミングがもっと得意になりたい
• プログラミング言語自体のことを知りたい
• （Web 関連などの）新しい技術について調べたい

The End