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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 10件中 1~10件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
ET 2012-11-17
11:15
佐賀 佐賀大学(本庄キャンパス) Mizarによる大学数学向け高度遠隔教育用コンテンツ開発
井戸貴也岡崎裕之山崎 浩師玉康成信州大ET2012-55
Mizar プロジェクトとは,形式化数学記述言語を用いて現行の数学定理とその証明を形式化記述し,計算機
で自動検証可能... [more]
ET2012-55
pp.13-17
ISEC, LOIS
(共催)
2011-11-14
15:35
大阪 大阪電気通信大学 Mizarによる数論アルゴリズムの形式化と検証
青木祥希岡崎裕之師玉康成信州大ISEC2011-44 LOIS2011-38
本稿では数論アルゴリズムからユークリッドの互除法と拡張ユークリッドの互除法を取り上げ,
プルーフチェッカMizarを用... [more]
ISEC2011-44 LOIS2011-38
pp.69-74
ET 2011-11-04
11:05
沖縄 琉球大学 Center of Sums法による非ファジィ化計算の連続性とその応用
三石貴志流通科学大)・師玉康成信州大ET2011-57
現在までに数種類提案されている非ファジィ化計算手法の中から,本研究ではCenter of Sums法に注目する.非ファジ... [more] ET2011-57
pp.11-14
ICM 2010-03-12
14:50
鹿児島 おきえらぶフローラルホテル 前件部変数をファジィ数とした推論法に関する一考察
三石貴志流通科学大)・師玉康成信州大ICM2009-67
IF-THENルールの前件部変数としてファジィ数を用いたファジィ推論に関する考察を行った.
関数解析の手法により,関数... [more]
ICM2009-67
pp.129-132
MSS, CAS
(共催)
2009-11-27
15:15
愛知 名古屋大学 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
山口真之介九工大)・和崎克己師玉康成信州大CAS2009-59 CST2009-32
 [more] CAS2009-59 CST2009-32
pp.83-88
ET 2009-03-07
15:35
香川 香川大 Moodle用数理演習モジュールを用いたWeb上での数理教育手法
三輪辰雄アルファネット)・小林英子小林亮太岡崎裕之信州大)・遠藤 登岐阜高専)・和崎克己師玉康成信州大ET2008-129
我々は,形式化数学の記述言語であるMizar 言語を利用し数理論的思考を涵養する為のWeb 用教材とし
て,Moodl... [more]
ET2008-129
pp.211-215
ET 2008-10-17
11:20
岡山 岡山理科大 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発
三輪辰雄アルファネット)・和崎克己信州大)・遠藤 登岐阜高専)・師玉康成信州大ET2008-41
我々は,形式化数学の記述言語であるMizar言語を学習するために,オープンソースのコースマネージメントシステムとして知ら... [more] ET2008-41
pp.11-16
MSS 2006-06-02
11:15
石川 石川ハイテク交流センター 拡張ペトリネットとJava/PNMLによる並列システムの構成手法
山口真之介九工大)・和崎克己師玉康成信州大
 [more] CST2006-9
pp.19-24
CS, CAS, SIP
(共催)
2005-03-15
13:35
岡山 岡山県立大学 IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
中村正幸長野県情報技術試験場)・栄永清志三菱電線工業)・滝沢龍一清水 洋長野県情報技術試験場)・和崎克己師玉康成信州大
都市部を中心にADSL、FTTH等のブロードバンドネットワークの普及が急速の進んでいる.しかし、中山間地や離島においては... [more] CAS2004-107 SIP2004-150 CS2004-243
pp.59-62
MSS 2004-08-05
14:00
北海道 北海学園大学 拡張ペトリネットによる並列システム設計とエンジンプログラムの試作
山口真之介九工大)・和崎克己師玉康成信州大
 [more] CST2004-16
pp.1-6
 10件中 1~10件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会