| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NLP, CAS (共催) |
2023-10-07 13:40 |
岐阜 | ワークプラザ岐阜 | 回路のポートの自由度を用いたグラフフーリエ変換の拡張 ○鈴木歩夢・久門尚史・イスラム マーフズル（京大）  CAS2023-56 NLP2023-55 |
本稿では，グラフラプラシアンに境界条件を導入する． 近年，グラフ信号処理が注目されているが，議論の対象となるグラフ構造... [more] |
CAS2023-56 NLP2023-55 pp.117-120 |
| EMCJ | 2022-01-21 10:30 |
ONLINE | オンライン開催に変更 | FARのサイト外に接続される電源ケーブルの終端デバイス ～ HiZ-BoXの概要と確認方法（コモンモード編） ～ ○千代島敏夫（電子情報技術産業協会）・高尾秀樹（パナソニック）・坪内敏郎（村田製作所）・原田高志（トーキンEMCエンジニアリング） EMCJ2021-62 |
全無響電波暗室（FAR）での電子機器の放射妨害波測定が利用可能になっている．しかしながら，サイト外に接続される電源ケーブ... [more] | EMCJ2021-62 pp.7-12 |
| SR | 2021-11-05 13:00 |
ONLINE | オンライン開催 | 決定係数に基づく距離減衰特性の分割モデル化 ○片桐啓太・藤井威生（電通大） SR2021-54 |
距離減衰モデルは，電波伝搬特性を大まかに予測するための基本的な手法である．しかし，従来の距離減衰モデルは，電波伝搬の異方... [more] | SR2021-54 pp.79-84 |
| EMCJ, EMD (共催) WPT, PEM (併催) [詳細] |
2019-07-19 14:05 |
東京 | 機械振興会館 | FAR用供給電源終端デバイスであるHiZ-Boxの校正方法 ～ ダイポールアンテナ法とTEM-CELL法の比較 ～ ○千代島敏夫（PFU） EMCJ2019-35 EMD2019-16 |
異なるFAR(全無響電波暗室）の放射エミッション測定の相関を改善する一方法である, 供給電源の終端デバイスHiZ-BoX... [more] | EMCJ2019-35 EMD2019-16 pp.31-35 |
| EMCJ, IEE-EMC (連催) |
2018-12-14 16:50 |
愛知 | （株）デンソー | 放射エミッション測定におけるサイト外接続ケーブルの終端条件の影響について ～ LANケーブルの4種類の終端とGPからの高さの影響調査結果 ～ ○千代島敏夫（PFU） EMCJ2018-99 |
電子機器の30～1000 MHzの放射エミッション測定において,LANケーブルなどが,サイト外に接続される場合がある.こ... [more] | EMCJ2018-99 pp.93-98 |
| SS, MSS (共催) |
2016-01-26 11:05 |
石川 | しいのき迎賓館 セミナールームB | ナローイングによる制約付き依存対の変換 ○笹野智裕・西田直樹・酒井正彦（名大） MSS2015-57 SS2015-66 |
項書換え系の停止性証明の枠組みである依存対フレームワークは項書換え規則に制約を付随させた制約付き項書換え系を対象に拡張さ... [more] | MSS2015-57 SS2015-66 pp.123-128 |
| MSS, SS (共催) |
2015-01-26 17:45 |
鳥取 | ブランナールみささ | 例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現 ○太田浩一・濱口 毅・酒井正彦（名大）・山田晃久（産総研）・西田直樹・坂部俊樹（名大） MSS2014-78 SS2014-42 |
本論文では，例外処理を含む関数型プログラムの停止性証明法のひとつである 条件付き依存対法の実現について議論する. こ... [more] |
MSS2014-78 SS2014-42 pp.55-60 |
| SS, KBSE (共催) |
2013-07-26 09:30 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | 例外処理を含む関数型プログラム停止性証明のための条件付き依存対法 ○濱口 毅・酒井正彦（名大） SS2013-23 KBSE2013-23 |
先に提案した文脈依存項書換え系（CS-TRS）への変換による例外処理を持つ先行評価に基づく関数型プログラムの停止性・非停... [more] | SS2013-23 KBSE2013-23 pp.61-66 |
| MBE | 2013-05-24 15:20 |
富山 | 富山県立大学 | ストレス環境下における自律神経系応答モデルの検討 ○池田和浩・木竜 徹（新潟大） MBE2013-10 |
ストレス映像視聴下において，乗り物酔いに似た症状である映像酔いと呼ばれる症状がある．映像酔いの評価方法には，アンケートな... [more] | MBE2013-10 pp.49-53 |
| MBE, NC (併催) |
2013-03-13 11:05 |
東京 | 玉川大学 | 内発的動機づけに及ぼす目標設定および言語的フィードバックの影響 ○井浦陽一郎・田中琢真・中村清彦（東工大） NC2012-140 |
人は自らの楽しみ・興味や達成感などに基づき行動する．先行研究はこのような行動を内発的動機づけと呼んで，様々な条件や環境が... [more] | NC2012-140 pp.37-42 |
| SS | 2009-12-17 15:50 |
香川 | 香川大学幸町キャンパス | 高階書換え系における引数切り落とし法と実効規則 ○鈴木 翔・草刈圭一朗・坂部俊樹・酒井正彦・西田直樹（名大） SS2009-39 |
項書換え系（TRS）の拡張として高階関数を直接扱える単純型付き項書換え系（STRS）や さらに$\lambda$抽象も... [more] |
SS2009-39 pp.25-30 |
| SS | 2009-12-17 16:20 |
香川 | 香川大学幸町キャンパス | 右線形右シャローな項書換え系における文脈依存停止性の決定可能性について ○御宿義勝・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2009-40 |
依存対が右線形右シャローである項書換え系のクラスでは，停止性および最内停止性が決定可能であることが示されている(内山ら2... [more] | SS2009-40 pp.31-36 |
| ITS, WBS (併催) |
2009-12-09 11:15 |
熊本 | 熊本大学工学部 | エージェント協調を用いたプローブカー・データによる空間補完システム ○森田哲郎・矢野純史・香川浩司（住友電工） ITS2009-33 |
エージェント協調を用いて，プローブカーから得られる速度データを基に交通情報の空間補完を行うシステムを構築した．本システム... [more] | ITS2009-33 pp.91-96 |
| SS | 2008-07-31 17:30 |
北海道 | 公立はこだて未来大学 | 制約付き項書換え系の定理自動証明における等式の方向付けのための簡約化順序 ○西田直樹・坂田 翼・酒井正彦・草刈圭一朗・坂部俊樹（名大） SS2008-20 |
定理自動証明では手続きが停止せずに暴走してしまうことがある．その暴走 を避けるために，制約付き項書換えに対する定理自動... [more] |
SS2008-20 pp.43-48 |
| NLP | 2005-06-23 16:40 |
広島 | 広島市立大学 | 確率的近接データ埋め込み法の分子構造決定問題への応用 ○加嶋浩之・土居伸二・熊谷貞俊（阪大） |
原子間の正確な距離データではなく，ある上限と下限を持つ幅のある距離データが与えられる場合に，確率的近接データ埋め込み法を... [more] | NLP2005-26 pp.57-62 |
[研究会発表申込システムのトップページに戻る]