| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MBE, NC (併催) |
2012-03-14 15:35 |
東京 | 玉川大学 | 脳卒中に関するオンライン知識啓発支援システムの開発 ～ 中学生の利用に適した機能改善 ～ ○谷 昇子（国立循環器病センター）・奈良崎大士・稲田 紘（兵庫県立大）・藤堂貴弘（姫路獨協大）・岩田倫明（国立循環器病センター）・中尾寿成・川上清和・武野嘉明（シー・エー・エヌシステム）・天野達雄・宮下史生・横田千晶・峰松一夫・中沢一雄（国立循環器病センター）  MBE2011-119 |
本研究では、脳卒中の早期発見・早期治療を目的とした学校教育プログラムに対応する、オンライン知識啓発支援システムを開発した... [more] | MBE2011-119 pp.59-64 |
| EMD | 2012-03-02 14:30 |
東京 | 玉川大学 | 近赤外分光法による脳機能計測における心拍の成分の抽出および解析 ○宍戸朝喜・福田恵子（都立産技高専） EMD2011-133 |
脳機能の計測は被験者の心理状態に依存することが知られている。近赤外分光法による脳機能計測法において、計測信号に重畳される... [more] | EMD2011-133 pp.29-31 |
| NC, MBE (併催) |
2011-12-20 16:10 |
愛知 | 名古屋工業大学 | 昆虫脳における運動司令生成のための神経回路の推定 ○西川郁子・小野島隆之（立命館大）・加沢知毅・並木重宏（東大）・池野英利（兵庫県立大）・神崎亮平（東大） NC2011-95 |
神経回路の機能的結合を，回路を構成する各細胞の解剖学的形態と刺激生理応答から推定する試みを紹介する．微小脳ながら環境への... [more] | NC2011-95 pp.65-68 |
| SWIM | 2011-06-17 16:25 |
東京 | 機械振興会館 | Event-BモデルのHaskellによる実装 ○越賀 準・新川芳行（龍谷大） SWIM2011-7 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2011-7 pp.31-36 |
| CPSY | 2009-10-20 14:40 |
東京 | 東京大学 工学部２号館1F 212 | FPGAを用いた機能分散型デュアルプロセッサシステムの一検討 ○田上士郎・尼崎太樹・久我守弘・末吉敏則（熊本大） CPSY2009-32 |
近年，組込みシステムにおいてソフトウェアの大規模化・複雑化が顕著であり，従来から必要とされているリアルタイム処理だけでな... [more] | CPSY2009-32 pp.27-32 |
| SS | 2009-08-07 09:30 |
北海道 | 北見工業大学 | テストケース生成における同値分割法の数式処理システムによる自動化 ○服部 哲（東工大） SS2009-24 |
ソフトウェアのテストケース生成を数式処理システム Mathematica によって試みる．本論文では，ソフトウェアの M... [more] | SS2009-24 pp.71-76 |
| ICD, IPSJ-ARC (共催) |
2008-05-14 11:15 |
東京 | 日立中央研究所 | 強誘電体機能パスゲートを用いたマルチコンテクストフィールドプログラマブルVLSIの構成 ○井戸端紀彰・石原翔太・張山昌論・亀山充隆（東北大） ICD2008-28 |
マルチコンテクストFPGA(Field Programmable Gate Array)では, コンテクストを高速に切り... [more] | ICD2008-28 pp.57-62 |
| SS | 2007-06-22 10:10 |
石川 | 北陸先端科学技術大学院大学 | 二階の書換え系における引数切り落とし法 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） SS2007-13 |
高階書換え系は関数プログラムの計算モデルであり，停止性は重要な性質の一つである．停止性証明法の一つに強計算性に基づく静的... [more] | SS2007-13 pp.23-28 |
| SS | 2006-04-20 16:10 |
新潟 | 新潟大学五十嵐キャンパス | 強計算依存対法による高階書換え系の停止性証明 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
項書換え系は関数プログラムの計算モデルであり，その停止性は重要な性質の１つである．停止性証明法の１つに依存対法と呼ばれる... [more] | SS2006-6 pp.31-36 |
| VLD, ICD, DC, IPSJ-SLDM (共催) |
2005-12-02 14:45 |
福岡 | 北九州国際会議場 | LUTカスケード・エミュレータを用いた論理シミュレーションについて ○中原啓貴・笹尾 勤・松浦宗寛（九工大） |
本論文では, LUT (Look-Up Table) カスケード・エミュレータを用いたサイクルベース形式論理シ ミュレ... [more] |
VLD2005-85 ICD2005-180 DC2005-62 pp.53-58 |
| SS | 2005-06-24 10:45 |
長野 | 信州大学 太田国際記念館 | 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大） |
停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more] | SS2005-21 pp.19-24 |
[研究会発表申込システムのトップページに戻る]