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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 5件中 1~5件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, SS
(共催)
2023-01-11
13:30
大阪 大阪市立生涯学習センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対
濱口 毅酒井正彦名大MSS2022-56 SS2022-41
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する.まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] MSS2022-56 SS2022-41
pp.66-71
SS 2019-03-05
15:25
沖縄 沖縄産業支援センター 関数型プログラムの条件式のための反例を用いた自動修正
松井 健佐藤亮介鵜林尚靖亀井靖高九大SS2018-80
ソフトウェア開発において,手動によるバグ修正には多くの手間と時間がかかる.開発者の負担を減らすため自動バグ修正の研究が行... [more] SS2018-80
pp.169-174
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 2005-06-24
10:45
長野 信州大学 太田国際記念館 強計算性に基づいた単純型項書換え系の停止性証明法
草刈圭一朗櫻井敬大西田直樹酒井正彦坂部俊樹名大
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく,様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] SS2005-21
pp.19-24
 5件中 1~5件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会