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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 12件中 1~12件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2023-03-15
09:30
沖縄 名護市産業支援センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
ビットベクトル制約付き項書換え系の停止性証明のための多項式解釈プロセッサについて
松見歩佳西田直樹小嶋美咲申 東訓名大SS2022-61
ビットベクトル制約付き項書換え系(BV-LCTRS)はC言語などのプログラムのモデルとして有用である.等価性検証に書換え... [more] SS2022-61
pp.85-90
MSS, SS
(共催)
2023-01-11
13:30
大阪 大阪市立生涯学習センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対
濱口 毅酒井正彦名大MSS2022-56 SS2022-41
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する.まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] MSS2022-56 SS2022-41
pp.66-71
SS 2020-03-04
15:10
沖縄 てんぶす那覇
(開催中止,技報発行あり)
排他制御を含むプログラムから論理制約付き項書換え系への変換
小嶋美咲西田直樹松原 豊酒井正彦名大SS2019-46
計算モデルである論理制約付き項書換え系(LCTRS)をプログラムの検証に用いる先行研究では,逐次実行される命令型プログラ... [more] SS2019-46
pp.31-36
DC, SS
(共催)
2019-10-24
14:55
熊本 熊本大学 存在限量子付き等式を証明するための書換え帰納法の拡張
西江一志西田直樹酒井正彦名大SS2019-17 DC2019-45
本稿では,等式を証明するための書換え帰納法を存在限量子付き等式を証明できるように拡張する.具体的にはまず,論理制約付き項... [more] SS2019-17 DC2019-45
pp.25-30
MSS, SS
(共催)
2019-01-16
09:25
沖縄 沖縄県青年会館 論理制約付き書換えにおける構造体および共用体の表現について
金澤慶明西田直樹酒井正彦名大MSS2018-67 SS2018-38
近年,項書換え系への変換に基づいた手続き型のプログラムの検証について研究が行われており,実行の中間状態を表現する項から制... [more] MSS2018-67 SS2018-38
pp.67-72
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
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:55
沖縄 沖縄県青年会館 制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック
栗木隆太朗西田直樹酒井正彦坂部俊樹名大SS2014-70
制約付き項書換え系における帰納的定理を書換え帰納法で検証するには,適切な補題等式を与える必要がある場合が多い.制約付き項... [more] SS2014-70
pp.91-96
SS 2014-03-11
13:30
沖縄 てんぷす那覇:第1・2会議室 制約付き木オートマトンにおける不用な遷移規則の発見法について
中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗橋本健二名大SS2013-77
項の書換え完全性は,制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に何回も証明を試みられる性質である.また,... [more] SS2013-77
pp.31-36
SS 2013-01-10
13:30
沖縄 沖縄県石垣市民会館 制約付き項のインスタンスを受理する制約付き木オートマトンの構成法
中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗名大
制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に,制約付き項書換え系のR完全性の判定手続きが必要である.
... [more]
SS2012-47
pp.7-12
KBSE, SS
(共催)
2008-05-29
13:30
宮崎 宮崎市民プラザ 大会議室 プレスブルガー文付き項書換え系における書換え帰納法について
坂田 翼西田直樹坂部俊樹酒井正彦草刈圭一朗名大SS2008-1 KBSE2008-1
手続き型プログラムを等価な制約付き項書換え系に変換してプログラム等価性を検証する手法の研究において,
潜在帰納法と呼ば... [more]
SS2008-1 KBSE2008-1
pp.1-6
 12件中 1~12件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会