| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2007-06-22 09:30 |
石川 | 北陸先端科学技術大学院大学 | 静的依存対法による高階書換え系の停止性証明 ○草刈圭一朗・磯谷泰巨・酒井正彦・坂部俊樹・西田直樹（名大）  SS2007-12 |
高階書換え系は関数型言語の計算モデルであり，依存対法は再帰構造解析に基づいた高階書換え系の停止性証明法である．近年提案さ... [more] | SS2007-12 pp.17-22 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS | 2006-04-20 16:10 |
新潟 | 新潟大学五十嵐キャンパス | 強計算依存対法による高階書換え系の停止性証明 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
項書換え系は関数プログラムの計算モデルであり，その停止性は重要な性質の１つである．停止性証明法の１つに依存対法と呼ばれる... [more] | SS2006-6 pp.31-36 |
[研究会発表申込システムのトップページに戻る]