| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2012-01-26 16:00 |
高知 | 高知市文化プラザかるぽーと | 高階書換え系における引数切り落とし関数の下での実効規則について ○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）  MSS2011-64 SS2011-49 |
高階書換え系（HRS）での強力な停止性証明手法として静的依存対法が知られている． この手法は静的な再帰構造解析を行い，... [more] |
MSS2011-64 SS2011-49 pp.57-62 |
| SS | 2010-08-05 16:00 |
北海道 | 旭川市民文化会館 | 高階書換え系における引数切り落とし法と実効規則 ○鈴木 翔・草刈圭一朗（名大）・フレデリック ブランキ（INRIA） SS2010-24 |
静的依存対法は高階書換え系の停止性証明法である． この手法は一階の書換え系上で提案された依存対法と型付き$\lambd... [more] |
SS2010-24 pp.47-52 |
| SS | 2009-12-17 15:50 |
香川 | 香川大学幸町キャンパス | 高階書換え系における引数切り落とし法と実効規則 ○鈴木 翔・草刈圭一朗・坂部俊樹・酒井正彦・西田直樹（名大） SS2009-39 |
項書換え系（TRS）の拡張として高階関数を直接扱える単純型付き項書換え系（STRS）や さらに$\lambda$抽象も... [more] |
SS2009-39 pp.25-30 |
| SS | 2008-07-31 17:30 |
北海道 | 公立はこだて未来大学 | 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序 ○西田直樹・坂田 翼・酒井正彦・草刈圭一朗・坂部俊樹（名大） SS2008-20 |
定理自動証明では手続きが停止せずに暴走してしまうことがある．その暴走 を避けるために，制約付き項書換えに対する定理自動... [more] |
SS2008-20 pp.43-48 |
| SS | 2008-03-03 13:05 |
長崎 | 長崎大学 | 単純型付き項書き換え系における静的依存対法とその周辺 ○草刈圭一朗・酒井正彦（名大） SS2007-61 |
我々が提案した 関数プログラムの強力な停止性証明法である静的依存対法は 一般には適用できないため取り扱うプログラムに... [more] |
SS2007-61 pp.25-30 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS | 2005-06-24 11:45 |
長野 | 信州大学 太田国際記念館 | ナローイング計算の停止性証明のための依存グラフ法 ○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） |
項書換え系（TRS）を右辺のみに現れる変数を持つ書換え規則を含むように拡張した余剰変数付き項書換え系（EV-TRS）は逆... [more] | SS2005-23 pp.31-36 |
[研究会発表申込システムのトップページに戻る]