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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 5件中 1~5件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS, DC
(共催)
2023-10-11
16:00
長野 信州大学工学部(長野市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
相互排除アルゴリズムを対象とした形式検証技術の適用
西口尚輝土屋達弘阪大SS2023-24 DC2023-30
並行アルゴリズムを正しく設計するのは難しい.本研究では,相互排除に注目し,並行アルゴリズムを仕様化し検証する形式手法の利... [more] SS2023-24 DC2023-30
pp.19-21
KBSE, SC
(共催)
2022-11-05
09:30
長野 野沢温泉 桐屋旅館
(ハイブリッド開催,主:現地開催,副:オンライン開催)
確率的モデル検査ツールによるパロンドのパラドックスの分析
西口尚輝中川博之土屋達弘阪大KBSE2022-38 SC2022-33
本論文では,ソフトウェアのふるまいを形式的に検査する確率的モデル検査ツールの,他分野への応用方法を考える.具体的には,ゲ... [more] KBSE2022-38 SC2022-33
pp.43-47
SDM, OME
(共催)
2018-04-07
11:20
沖縄 沖縄県青年会館 [招待講演]Ⅳ族系薄膜トランジスタの高性能化・高機能化
原 明人内海大樹西口尚希宮崎 僚東北学院大SDM2018-5 OME2018-5
銅(Cu)を利用した金属誘起結晶化(MIC)を用いて自己整合平面型ダブルゲート(DG) 構造および自己整合平面型4端子(... [more] SDM2018-5 OME2018-5
pp.19-24
SDM, EID
(共催)
2017-12-22
15:30
京都 京都大学 Cu-MICを用いたガラス基板上のダブルゲート低温多結晶ゲルマニウムスズ薄膜トランジスタ
西口尚希内海弘樹原 明人東北学院大EID2017-24 SDM2017-85
新たな半導体デバイス材料の一つとしてゲルマニウムスズ(GeSn)が注目されている。 薄膜でのGeSnの低温結晶化として銅... [more] EID2017-24 SDM2017-85
pp.67-70
NLC 2006-02-03
09:30
滋賀 ラフォーレ琵琶湖 見出しの階層関係を利用したWWW検索精度の改善
西口直樹松本章代小西達裕静岡大)・高木 朗CSKシステムズ)・小山照夫NII)・三宅芳雄中京大)・伊東幸宏静岡大
我々は,Web検索エンジンの検索精度を更に向上させるため,Webページ内に現れる検索キーワード間の意味的係り受け関係の利... [more] NLC2005-114
pp.1-6
 5件中 1~5件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会