| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2019-01-16 09:50 |
沖縄 | 沖縄県青年会館 | 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 ○前田侑也・西田直樹・酒井正彦・小林倫也（名大）  MSS2018-68 SS2018-39 |
項書換え系（TRS）のナローイング計算とは，書換えに必要な代入を単一化により求め，その代入を適用して書換えを行う計算であ... [more] | MSS2018-68 SS2018-39 pp.73-78 |
| SDM | 2014-11-06 13:00 |
東京 | 機械振興会館 | ［招待講演］デバイス・シミュレーション ～ 30年間を振り返って ～ ○執行直之（東芝） SDM2014-100 |
TCADは，デバイス開発に必須なツールとなっている．仮想的な試作により，開発期間の短縮やプロセスばらつきに強いロバスト設... [more] | SDM2014-100 pp.25-30 |
| SS | 2008-03-03 13:30 |
長崎 | 長崎大学 | 等式を規則化する変換の停止条件 ○水野清貴・西田直樹・坂部俊樹・酒井正彦・草刈圭一朗（名大） SS2007-62 |
項書換え系（TRS）と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている．これらの手続きを活用するには... [more] | SS2007-62 pp.31-36 |
| SS | 2007-10-22 14:00 |
宮城 | 宮城大学 | 導出木からのループ検出による論理プログラムの非停止性証明法 ○水谷知博・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） SS2007-30 |
本稿では，論理プログラムの非停止性を自動的に証明する手法を提案する．本手法では，与えられた質問パターンを代表する質問から... [more] | SS2007-30 pp.1-6 |
[研究会発表申込システムのトップページに戻る]