お知らせ 研究会の開催と会場に参加される皆様へのお願い(2020年7月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 26件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, SS
(共催)
2019-01-16
09:50
沖縄 沖縄県青年会館 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張
前田侑也西田直樹酒井正彦小林倫也名大MSS2018-68 SS2018-39
項書換え系(TRS)のナローイング計算とは,書換えに必要な代入を単一化により求め,その代入を適用して書換えを行う計算であ... [more] MSS2018-68 SS2018-39
pp.73-78
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-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, MSS
(共催)
2012-01-26
15:30
高知 高知市文化プラザかるぽーと 単純型付き項書換え系における書換え帰納法について
尾関 朗草刈圭一朗坂田 翼西田直樹酒井正彦坂部俊樹名大MSS2011-63 SS2011-48
書換え帰納法は,与えられた等式が帰納的定理であるかどうかを推論規則を用いた導出により判定する原理であり,項書換え系上で提... [more] MSS2011-63 SS2011-48
pp.51-56
SS 2010-10-15
11:00
岩手 岩手県立大学 等式理論を法とするDPLL遷移系について
馬場達也坂部俊樹西田直樹草刈圭一朗酒井正彦名大SS2010-36
SMTソルバは,指定された述語理論の下で論理式の充足可能性判定を行うツールであり,配列,リスト,キューなどの多くの理論を... [more] SS2010-36
pp.49-54
SS 2009-12-18
08:40
香川 香川大学幸町キャンパス 条件付き等式の変換に基づくプログラム生成
長島正憲酒井正彦坂部俊樹西田直樹草刈圭一朗名大SS2009-41
以前に我々が提案したプログラム生成系GeneSysは,一階述語論理式で表現された仕様から実行可能なプログラムを生成するが... [more] SS2009-41
pp.37-42
KBSE, SS
(共催)
2008-05-29
13:30
宮崎 宮崎市民プラザ 大会議室 プレスブルガー文付き項書換え系における書換え帰納法について
坂田 翼西田直樹坂部俊樹酒井正彦草刈圭一朗名大SS2008-1 KBSE2008-1
手続き型プログラムを等価な制約付き項書換え系に変換してプログラム等価性を検証する手法の研究において,
潜在帰納法と呼ば... [more]
SS2008-1 KBSE2008-1
pp.1-6
SS 2008-03-03
13:30
長崎 長崎大学 等式を規則化する変換の停止条件
水野清貴西田直樹坂部俊樹酒井正彦草刈圭一朗名大SS2007-62
項書換え系(TRS)と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている.これらの手続きを活用するには... [more] SS2007-62
pp.31-36
SS 2007-08-02
13:30
北海道 北海道大学 左線形な定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン
村田俊樹西田直樹酒井正彦坂部俊樹草刈圭一朗名大SS2007-16
項書換え系(TRS)の到達可能性問題とは,与えられた2つの項の一方からもう一方にTRSでの書換えにより到達できるか否かと... [more] SS2007-16
pp.1-6
SS 2007-08-02
14:00
北海道 北海道大学 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法
笹田悠司酒井正彦西田直樹坂部俊樹草刈圭一朗名大SS2007-17
システムがどのように外部観測的に振舞うかを規定する振舞仕様の下で、観測を通してシステムの2つの状態が等しいことを振舞等価... [more] SS2007-17
pp.7-12
SS, KBSE
(共催)
2006-10-26
13:40
愛媛 愛媛大学 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
古市祐樹西田直樹酒井正彦草刈圭一朗坂部俊樹名大
項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法など
が広く研究されている.2つの異なる関数が任意... [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
 26件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会