| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-05-28 16:00 プログラム構造から見た再帰プログラムの基本形 ○大段雅典（島根大/NTTデータシステム技術）・佐藤匡正  SS2010-15 KBSE2010-15 |
|
| 抄録 | （和） | 記述と実行が乖離しているため難解である再帰プログラムに対しては，その理解を助けるための手段が必要である．このために，論理構成の解剖，仕様追従性の確認，類似プログラムの相違性分析などの効果が得られるPSF手法の適用を考える．PSF手法は，プログラムの要素処理の並び(プログラム構造)を，正規表現(代数)などによって形式化する方法である．ここでは，再帰プログラムを図式および式により表現する方法を考案し，再帰プログラムの基本形とプログラム構造を示す． |
| （英） | It requires programming aids to improve the understandability for recursive programs that are not easy to follow the logic due to having deep gaps between static descriptions and dynamic behaviors. As an approach, it proposes to apply PSF(Program Structure Formalization) method which provides to analyze logic schema, specification traceability, and identify the similarity among program isomers. It discusses a method for representing the program structure of recursive programs by PSF diagrams and expressions, and the program structure patterns for them. | |
| キーワード | （和） | プログラム構造 / 再帰 / プログラム形式化手法 / HCPチャート / / / / |
| （英） | Program Structure / Recursive Call / Program Formalization / HCP Chart / / / / | |
| 文献情報 | 信学技報, vol. 110, no. 60, SS2010-15, pp. 87-91, 2010年5月. | |
| 資料番号 | SS2010-15 | |
| 発行日 | 2010-05-20 (SS, KBSE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2010-15 KBSE2010-15 |
|
| 研究会情報 | |
| 研究会 | KBSE SS |
| 開催期間 | 2010-05-27 - 2010-05-28 |
| 開催地（和） | 同志社大今出川キャンパス |
| 開催地（英） | Doshisha University, Imadegawa Campus |
| テーマ（和） | 一般，フレッシャーズセッション |
| テーマ（英） | General, Freshers' session |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-05-KBSE-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | プログラム構造から見た再帰プログラムの基本形 |
| サブタイトル（和） | |
| タイトル（英） | Fundamental Program Structure Patterns of Recursive Programs |
| サブタイトル（英） | |
| キーワード(1)（和/英） | プログラム構造 / Program Structure |
| キーワード(2)（和/英） | 再帰 / Recursive Call |
| キーワード(3)（和/英） | プログラム形式化手法 / Program Formalization |
| キーワード(4)（和/英） | HCPチャート / HCP Chart |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 大段 雅典 / Masanori Ohdan / オオダン マサノリ |
| 第1著者 所属（和/英） | 島根大学/NTTデータシステム技術株式会社 (略称： 島根大/NTTデータシステム技術) Shimane University/NTT DATA SYSTEM TECHNOLOGIES INC. (略称： Shiname Univ./NST) |
| 第2著者 氏名（和/英/ヨミ） | 佐藤 匡正 / Tadamasa Satou / サトウ タダマサ |
| 第2著者 所属（和/英） | * (略称： *) * (略称： *) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-05-28 16:00:00 |
| 発表時間 | 40分 |
| 申込先研究会 | SS |
| 資料番号 | SS2010-15, KBSE2010-15 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.60(SS), no.61(KBSE) |
| ページ範囲 | pp.87-91 |
| ページ数 | 5 |
| 発行日 | 2010-05-20 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]