お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 39件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, SS
(共催)
2023-01-11
13:30
大阪 大阪市立生涯学習センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対
濱口 毅酒井正彦名大MSS2022-56 SS2022-41
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する.まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] MSS2022-56 SS2022-41
pp.66-71
MSS, SS
(共催)
2019-01-16
09:50
沖縄 沖縄県青年会館 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張
前田侑也西田直樹酒井正彦小林倫也名大MSS2018-68 SS2018-39
項書換え系(TRS)のナローイング計算とは,書換えに必要な代入を単一化により求め,その代入を適用して書換えを行う計算であ... [more] MSS2018-68 SS2018-39
pp.73-78
SS, DC
(共催)
2017-10-19
13:15
高知 高知市文化プラザかるぽーと 動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて
山本晃治富士通研SS2017-21 DC2017-20
ソースコードの静的解析を行うことで,関数・メソッドに対する処理内容の変更前後差異の特定,呼び出し関係の抽出,引数の利用先... [more] SS2017-21 DC2017-20
pp.1-6
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-20
15:50
北海道 函館コミュニティプラザ 制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈
笹野智裕西田直樹酒井正彦上山智也名大SS2017-17 KBSE2017-17
制約付き項書換え系の停止性証明の枠組みである依存対フレームワークでは,関数呼び出しの関係を表現した依存鎖を下限付き整数減... [more] SS2017-17 KBSE2017-17
pp.139-144
SS 2017-03-10
10:45
沖縄 てんぶす那覇 十分完全性を持たない階層的条件付き項書換え系の合流性証明
黒田貴之西田直樹関 浩之名大SS2016-77
条件付き項書換え系(CTRS)における合流性の検証手法として項書換え系への変換を経て証明する手法が知られているが,自然数... [more] SS2016-77
pp.103-108
SS, MSS
(共催)
2016-01-26
11:05
石川 しいのき迎賓館 セミナールームB ナローイングによる制約付き依存対の変換
笹野智裕西田直樹酒井正彦名大MSS2015-57 SS2015-66
項書換え系の停止性証明の枠組みである依存対フレームワークは項書換え規則に制約を付随させた制約付き項書換え系を対象に拡張さ... [more] MSS2015-57 SS2015-66
pp.123-128
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2015-07-24
11:10
北海道 札幌市教育文化会館 パターン除去による制約付き項書換え系の等価変換
長尾貴浩西田直樹酒井正彦名大SS2015-33 KBSE2015-26
制約付き項書換え系は整数制約などにより規則の適用を制御できるように項書換え系を拡張した枠組みである.書換え規則の左辺に現... [more] SS2015-33 KBSE2015-26
pp.167-172
SS 2015-03-09
09:30
沖縄 沖縄県青年会館 構成子に基づく順序ソートパラメータ化仕様の十分完全性について
中村正樹富山県立大)・ガイナ ダニエル ミルチェア緒方和博二木厚吉北陸先端大SS2014-55
代数仕様言語CafeOBJでは,構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる.また,パラメータ... [more] SS2014-55
pp.1-6
SS 2015-03-10
09:30
沖縄 沖縄県青年会館 木構造データを扱う関数の逆Unfold問題の発見的解法
加藤友郁長島正憲酒井正彦西田直樹坂部俊樹名大SS2014-69
Unfold/Fold変換はプログラム変換や定理証明などに広く利用されている.
Unfold変換とFold変換はそれぞ... [more]
SS2014-69
pp.85-90
SS 2015-03-10
09:55
沖縄 沖縄県青年会館 制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック
栗木隆太朗西田直樹酒井正彦坂部俊樹名大SS2014-70
制約付き項書換え系における帰納的定理を書換え帰納法で検証するには,適切な補題等式を与える必要がある場合が多い.制約付き項... [more] SS2014-70
pp.91-96
MSS, SS
(共催)
2015-01-26
17:45
鳥取 ブランナールみささ 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現
太田浩一濱口 毅酒井正彦名大)・山田晃久産総研)・西田直樹坂部俊樹名大MSS2014-78 SS2014-42
本論文では,例外処理を含む関数型プログラムの停止性証明法のひとつである
条件付き依存対法の実現について議論する.
こ... [more]
MSS2014-78 SS2014-42
pp.55-60
SS 2014-03-11
11:00
沖縄 てんぷす那覇:第1・2会議室 逆Unfold問題とその発見的解法
加藤友郁長島正憲酒井正彦西田直樹名大SS2013-74
Unfold/Fold変換はプログラム変換や定理証明などに広く利用されている.Unfold変換とFold変換はそれぞれの... [more] SS2013-74
pp.13-18
SS 2014-03-11
13:30
沖縄 てんぷす那覇:第1・2会議室 制約付き木オートマトンにおける不用な遷移規則の発見法について
中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗橋本健二名大SS2013-77
項の書換え完全性は,制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に何回も証明を試みられる性質である.また,... [more] SS2013-77
pp.31-36
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 2013-01-10
13:30
沖縄 沖縄県石垣市民会館 制約付き項のインスタンスを受理する制約付き木オートマトンの構成法
中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗名大
制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に,制約付き項書換え系のR完全性の判定手続きが必要である.
... [more]
SS2012-47
pp.7-12
SS 2012-05-11
11:15
愛媛 愛媛大学 Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types
Keiichirou KusakariNagoya Univ.SS2012-9
 [more] SS2012-9
pp.49-54
SS, MSS
(共催)
2012-01-26
15:30
高知 高知市文化プラザかるぽーと 単純型付き項書換え系における書換え帰納法について
尾関 朗草刈圭一朗坂田 翼西田直樹酒井正彦坂部俊樹名大MSS2011-63 SS2011-48
書換え帰納法は,与えられた等式が帰納的定理であるかどうかを推論規則を用いた導出により判定する原理であり,項書換え系上で提... [more] MSS2011-63 SS2011-48
pp.51-56
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-10-15
11:00
岩手 岩手県立大学 等式理論を法とするDPLL遷移系について
馬場達也坂部俊樹西田直樹草刈圭一朗酒井正彦名大SS2010-36
SMTソルバは,指定された述語理論の下で論理式の充足可能性判定を行うツールであり,配列,リスト,キューなどの多くの理論を... [more] SS2010-36
pp.49-54
 39件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会