| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大）  MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 15:50 |
北海道 | 函館コミュニティプラザ | 制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈 ○笹野智裕・西田直樹・酒井正彦・上山智也（名大） SS2017-17 KBSE2017-17 |
制約付き項書換え系の停止性証明の枠組みである依存対フレームワークでは，関数呼び出しの関係を表現した依存鎖を下限付き整数減... [more] | SS2017-17 KBSE2017-17 pp.139-144 |
| SS, MSS (共催) |
2016-01-26 11:05 |
石川 | しいのき迎賓館 セミナールームB | ナローイングによる制約付き依存対の変換 ○笹野智裕・西田直樹・酒井正彦（名大） MSS2015-57 SS2015-66 |
項書換え系の停止性証明の枠組みである依存対フレームワークは項書換え規則に制約を付随させた制約付き項書換え系を対象に拡張さ... [more] | MSS2015-57 SS2015-66 pp.123-128 |
| MSS, SS (共催) |
2015-01-26 17:45 |
鳥取 | ブランナールみささ | 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現 ○太田浩一・濱口 毅・酒井正彦（名大）・山田晃久（産総研）・西田直樹・坂部俊樹（名大） MSS2014-78 SS2014-42 |
本論文では，例外処理を含む関数型プログラムの停止性証明法のひとつである 条件付き依存対法の実現について議論する. こ... [more] |
MSS2014-78 SS2014-42 pp.55-60 |
| SS, KBSE (共催) |
2013-07-26 09:30 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | 例外処理を含む関数型プログラム停止性証明のための条件付き依存対法 ○濱口 毅・酒井正彦（名大） SS2013-23 KBSE2013-23 |
先に提案した文脈依存項書換え系（CS-TRS）への変換による例外処理を持つ先行評価に基づく関数型プログラムの停止性・非停... [more] | SS2013-23 KBSE2013-23 pp.61-66 |
| SS, MSS (共催) |
2012-01-26 16:00 |
高知 | 高知市文化プラザかるぽーと | 高階書換え系における引数切り落とし関数の下での実効規則について ○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） MSS2011-64 SS2011-49 |
高階書換え系（HRS）での強力な停止性証明手法として静的依存対法が知られている． この手法は静的な再帰構造解析を行い，... [more] |
MSS2011-64 SS2011-49 pp.57-62 |
| SS | 2010-12-14 16:20 |
群馬 | 伊香保温泉 ホテル天坊 | 順方向ナローイングに基づく右線形右シャロー項書換え系の非停止性証明について ○服部達哉・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大） SS2010-44 |
順方向ナローイングに基づく非停止性証明解析はAProVE等の停止性証明ツールに採用されている．しかしながら，それが完全で... [more] | SS2010-44 pp.31-36 |
| 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 | 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:05 |
長崎 | 長崎大学 | 単純型付き項書き換え系における静的依存対法とその周辺 ○草刈圭一朗・酒井正彦（名大） SS2007-61 |
我々が提案した 関数プログラムの強力な停止性証明法である静的依存対法は 一般には適用できないため取り扱うプログラムに... [more] |
SS2007-61 pp.25-30 |
| MSS | 2008-01-29 14:45 |
徳島 | 徳島大学 | トークン分布に依存した停止性のSWITCH-lessネットに対する判定について ○小宮圭介・山口真悟・葛 崎偉・田中 稔（山口大） CST2007-55 |
本稿では，（データフロー）プログラムネットの初期トークン分布に依存した停止性を議論する． 任意のトークン分布に対する停... [more] |
CST2007-55 pp.53-58 |
| SS | 2007-10-22 14:00 |
宮城 | 宮城大学 | 導出木からのループ検出による論理プログラムの非停止性証明法 ○水谷知博・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） SS2007-30 |
本稿では，論理プログラムの非停止性を自動的に証明する手法を提案する．本手法では，与えられた質問パターンを代表する質問から... [more] | SS2007-30 pp.1-6 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| 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-06-24 10:45 |
長野 | 信州大学 太田国際記念館 | 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大） |
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] | SS2005-21 pp.19-24 |
| COMP | 2005-03-18 10:25 |
東京 | 東京工業大学 | 修正AC単調意味論経路順序によるAC停止性 ○落合秀幸・青戸等人・外山芳人（東北大） |
AC項書き換え系はAC(結合律・交換律)を法とした簡約関係により項書き換え系を拡張した計算モデルである. AC項書き換え... [more] | COMP2004-76 pp.23-31 |
[研究会発表申込システムのトップページに戻る]