Mercurial > hg > Members > atton > seminar_slides
comparison slides/20161213/slide.md @ 158:6e4a6421f168
Fix slide
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 13 Dec 2016 19:48:44 +0900 |
parents | 4c1b25782208 |
children |
comparison
equal
deleted
inserted
replaced
157:4c1b25782208 | 158:6e4a6421f168 |
---|---|
2 author: Yasutaka Higa | 2 author: Yasutaka Higa |
3 profile: | 3 profile: |
4 lang: Japanese | 4 lang: Japanese |
5 | 5 |
6 # 研究目的 | 6 # 研究目的 |
7 * コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する | 7 * 動作するプログラムの信頼性を保証したい |
8 * 検証を行ないやすい単位としてプログラムをコードセグメントとデータセグメントという単位で記述する | |
8 * プログラムはコードセグメントという処理の集合として表され、相互に接続される | 9 * プログラムはコードセグメントという処理の集合として表され、相互に接続される |
9 * 型検査器を導入することでコードセグメントが接続可能かどうかを判断する | 10 * 型検査器を導入することでコードセグメントが接続可能かどうかを判断する |
10 * また、コードセグメントの型から推論してデータセグメントの生成を行なう | 11 * また、コードセグメントの型から推論してデータセグメントの生成を行なう |
11 | 12 |
12 # 研究内容 | 13 # 研究内容 |