| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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 | 2009-12-17 16:20 |
香川 | 香川大学幸町キャンパス | 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について ○御宿義勝・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2009-40 |
依存対が右線形右シャローである項書換え系のクラスでは，停止性および最内停止性が決定可能であることが示されている(内山ら2... [more] | SS2009-40 pp.31-36 |
| SS | 2009-12-18 08:40 |
香川 | 香川大学幸町キャンパス | 条件付き等式の変換に基づくプログラム生成 ○長島正憲・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大） SS2009-41 |
以前に我々が提案したプログラム生成系GeneSysは，一階述語論理式で表現された仕様から実行可能なプログラムを生成するが... [more] | SS2009-41 pp.37-42 |
| SS | 2008-12-19 10:30 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | シャローな依存対から構成される項書換え系の停止性の決定可能性 ○内山敬太・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2008-45 |
本稿では，右定項または右線形シャローな依存対のみを持つ項書換え系に対して，停止性，最内停止性，文脈依存停止性がそれぞれ決... [more] | SS2008-45 pp.37-42 |
| SS | 2008-07-31 17:30 |
北海道 | 公立はこだて未来大学 | 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序 ○西田直樹・坂田 翼・酒井正彦・草刈圭一朗・坂部俊樹（名大） SS2008-20 |
定理自動証明では手続きが停止せずに暴走してしまうことがある．その暴走 を避けるために，制約付き項書換えに対する定理自動... [more] |
SS2008-20 pp.43-48 |
| SS | 2008-03-03 13:30 |
長崎 | 長崎大学 | 等式を規則化する変換の停止条件 ○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗（名大） SS2007-62 |
項書換え系（TRS）と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている．これらの手続きを活用するには... [more] | SS2007-62 pp.31-36 |
| SS | 2007-12-17 10:45 |
島根 | 島根大学 | 組合せ子の非循環性について ○岩見宗弘（島根大） SS2007-41 |
Sumllyanは，書換え規則 L x y -> x (y y)を持つ組合せ子 $L$と書換え規則 O x y -> ... [more] |
SS2007-41 pp.19-24 |
| SS | 2007-08-02 14:00 |
北海道 | 北海道大学 | 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法 ○笹田悠司・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） SS2007-17 |
システムがどのように外部観測的に振舞うかを規定する振舞仕様の下で、観測を通してシステムの２つの状態が等しいことを振舞等価... [more] | SS2007-17 pp.7-12 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS, KBSE (共催) |
2006-10-26 13:40 |
愛媛 | 愛媛大学 | 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み ○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） |
項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法など が広く研究されている．２つの異なる関数が任意... [more] |
SS2006-41 KBSE2006-17 pp.7-12 |
| SS, KBSE (共催) |
2006-10-26 16:15 |
愛媛 | 愛媛大学 | GeneSysによるプログラム生成例とIntroduction規則の追加 ○近藤 悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大） |
プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である．本論文... [more] | SS2006-46 KBSE2006-22 pp.37-42 |
| SS | 2006-06-22 14:00 |
岡山 | 岡山大学創立五十周年記念館 | 等式付き書換え系の等式数を削減する変換 ○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） |
与えられた等式集合を法として計算する等式付き書換え計算では，等式集合の語問題が決定不能であるため，一般には，与えられた項... [more] | SS2006-14 pp.7-12 |
| SS | 2006-02-03 10:30 |
福岡 | 福岡知的クラスター研究所 | 関数プログラムの停止性証明のための辞書式経路順序 ○星野由美・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
項書き換え系は関数プログラムの計算モデルであり，停止性はその重要な性質の一つである．停止性証明法の一つに簡約化順序によっ... [more] | SS2005-85 pp.13-18 |
| SS | 2005-12-20 10:15 |
高知 | 高知女子大 | Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems ○Keiichirou Kusakari・Masahiko Sakai（Nagoya Univ.） |
依存対法と呼ばれる再帰構造解析による停止性証明法を，型付き$\lambda$計算の停止性証明で導入された強計算性の概念を... [more] | SS2005-65 pp.13-18 |
| SS | 2005-10-13 16:15 |
埼玉 | 十文字学園 6号館 | 重なりを持つTRSにおける最外戦略の完全性について ○岩田篤史・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大） |
項書換え系（TRS）において，戦略は与えられた項の書換え可能な位置のうち書換えるべき位置を指示する．重なりを持つTRSで... [more] | SS2005-46 pp.39-44 |
| SS | 2005-06-24 10:45 |
長野 | 信州大学 太田国際記念館 | 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大） |
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] | SS2005-21 pp.19-24 |
| SS | 2005-06-24 11:45 |
長野 | 信州大学 太田国際記念館 | ナローイング計算の停止性証明のための依存グラフ法 ○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） |
項書換え系（TRS）を右辺のみに現れる変数を持つ書換え規則を含むように拡張した余剰変数付き項書換え系（EV-TRS）は逆... [more] | SS2005-23 pp.31-36 |
| COMP | 2005-03-18 10:25 |
東京 | 東京工業大学 | 修正AC単調意味論経路順序によるAC停止性 ○落合秀幸・青戸等人・外山芳人（東北大） |
AC項書き換え系はAC(結合律・交換律)を法とした簡約関係により項書き換え系を拡張した計算モデルである. AC項書き換え... [more] | COMP2004-76 pp.23-31 |
[研究会発表申込システムのトップページに戻る]