| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2015-03-06 10:25 |
石川 | ITビジネスプラザ武蔵 | 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平（金沢大）  MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] | MSS2014-100 pp.53-58 |
| QIT (第二種研究会) |
2013-11-18 12:00 |
東京 | 早稲田大学 | ガーベッジテープを持つ量子プッシュダウンオートマトン ○中西正樹（山形大） |
これまでに様々な種類の量子プッシュダウンオートマトンが提案されており，その能力が解析されている． しかしながら，いくつ... [more] |
|
| MSS | 2012-03-09 13:00 |
東京 | JAIST東京サテライト | コンシェルジュサーバを持つ電話システムの形式的検証 黒野恵人・前田 彩・○河辺義信（愛知工大） MSS2011-84 |
電話による詐欺から身を守るには，発信者が詐欺師でないことを確認することが重要である． 山本らは，この確認作業を(半)自... [more] |
MSS2011-84 pp.61-66 |
| COMP | 2010-04-22 15:10 |
滋賀 | 立命館大学 びわこ・くさつキャンパス | 基本形式体系に対する非終端記号の導入 小出智彦・○篠原 歩（東北大） COMP2010-7 |
基本形式体系は，文字列を対象した一種の論理プログラムであり， 形式言語理論において種々の言語クラスを簡潔に記述すること... [more] |
COMP2010-7 pp.47-54 |
| ET | 2009-03-07 15:35 |
香川 | 香川大 | Moodle用数理演習モジュールを用いたWeb上での数理教育手法 ○三輪辰雄（アルファネット）・小林英子・小林亮太・岡崎裕之（信州大）・遠藤 登（岐阜高専）・和崎克己・師玉康成（信州大） ET2008-129 |
我々は，形式化数学の記述言語であるMizar 言語を利用し数理論的思考を涵養する為のWeb 用教材とし て，Moodl... [more] |
ET2008-129 pp.211-215 |
| SS | 2008-12-19 11:15 |
高知 | (1日目)高知工科大、（2日目）高知市文化プラザ「かるぽーと」 | 木オートマトンを用いたXML処理 ○高田喜朗（高知工科大）・関 浩之（奈良先端大） SS2008-46 |
木オートマトンは，文字列に対する有限オートマトンを木に対して拡張した計算モデルであり，与えられた木に対して「受理」か「拒... [more] | SS2008-46 pp.43-50 |
| SS | 2006-08-04 09:15 |
北海道 | 北海道大学工学部M棟 | 自動組版用テンプレート作成における形式言語方式の探究 ○ザイ建一（ロココ） |
昨今、出版印刷業界の技術進歩に伴い、自動組版技術が求められている。一般的な方法をとして、予め作成しておいたテンプレートを... [more] | SS2006-35 pp.7-11 |
[研究会発表申込システムのトップページに戻る]