QR コードと URL
香川研究室について
ショートバージョン
香川 考司
教員紹介
- 香川 考司 （かがわ こうじ）
香川大学 創造工学部
情報システム・セキュリティ (CSSS) コース - 専門分野
プログラミング言語（特に 型システム）
プログラミング学習支援システム - 担当授業
『プログラミング』『オートマトン』『コンパイラ』『オブジェクト指向言語』
『プログラミング言語論』など
例えると…
- コンピューター ➡ 魔法のツエ
- プログラム ➡ 呪文
- プログラミング ➡ 呪文を組み立てること
- プログラミング言語 ➡ 呪文体系
- 型システム ➡ 呪文のミスを減らす仕組み
- 学習支援システム ➡ 魔法使いの弟子養成システム
プログラム
コンピューターに与える手順・指示のまとまりである
- コンピューターが理解する一つ一つの指示は、実はとても単純である。例えば…
- +−×÷<=>
- 直前の式が成り立つなら進む、そうでないなら戻る
- コンピューターは、めちゃくちゃ速くて、忘れない、間違えない
プログラムの組立て
プログラムの組立ての基本は 順次・反復・分岐の 3 つである。 これだけあれば“何でも”できる
- 順次 ⋯ いくつかの処理を、順に一つずつ実行していく
- 反復 ⋯ 同じ処理をくり返す
- 分岐 ⋯ 条件が成り立つかどうかによって、処理を選ぶ
プログラミング言語
それだけで大きなプログラムを作るのは難しい。
そこで…
- 指示のまとまりを部品化することで、さらに複雑な指示を組み立てる
部品化の考え方の違いによって、たくさんの種類のプログラミング言語がある
ポイント
コンピューターは、一つ一つは単純な指示を、 何億回・何兆回⋯でも疲れずくりかえす
- たくさん覚えて忘れない、速くて間違えない、
『常識』は持ち合わせていない。つまり人間が指示を間違えると、間違ったまま実行する。
- プログラムはとても長い
プログラミング言語を使って、うまく部品化することで、 大規模・複雑なプログラムを組み立てることができる