| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| QIT (第二種研究会) |
2023-12-18 15:50 |
沖縄 | 沖縄科学技術大学院大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
量子回路非最適化アルゴリズムの提案とコンパイラベンチマークへの応用 ○森 雄生・箱嶋秀昭・数藤恭平・森 俊夫・御手洗光祐（阪大）・藤井啓祐（阪大/理研） |
本発表では，回路の等価性を保ちながら冗長化することで量子回路を複雑化させるアルゴリズムとして、量子回路非最適化を提唱する... [more] | |
| SANE | 2021-05-13 11:30 |
ONLINE | オンライン開催 | ［招待講演］近傍界遠方変換法によるレーダ断面積の評価 ○小林弘一（波動システム研）  SANE2021-4 |
この論文では,電気長の大きな物体によるレーダ断面積(Radar Cross-Section: RCS)計測に指向した近傍... [more] | SANE2021-4 pp.15-26 |
| MW | 2017-11-09 10:00 |
沖縄 | 宮古島マリンターミナルビル | 2つの等間隔円形アレーアンテナのMIMO固有モード伝送とOAM伝送の類似性 ○平野拓一（東工大） MW2017-111 |
近年、光分野で提案されたOAM(orbital angular momentum)と呼ばれる新しい通信方式が無線通信分野... [more] | MW2017-111 pp.1-4 |
| SS | 2017-03-09 11:50 |
沖縄 | てんぶす那覇 | Javaのメソッド等価性判定とその応用 ○岡野浩三（信州大）・原内 聡（三菱電機）・小形真平（信州大）・関澤俊弦（日大）・小原岳士（信州大） SS2016-65 |
Java プログラムのクラスにおいてequals メソッドとhashCode メソッドをコード実装者が実装することが，し... [more] | SS2016-65 pp.31-36 |
| VLD | 2017-03-03 13:00 |
沖縄 | 沖縄県青年会館 | エラートレラントアプリケーションのための論理回路の許容関数を用いた簡単化手法について ○岩崎真弥・市原英行・岩垣 剛・井上智生（広島市大） VLD2016-128 |
エラートレラントアプリケーションとは，画像処理や機械学習のように出力の多少の誤差が許容されているアプリケーションである．... [more] | VLD2016-128 pp.145-150 |
| COMP, ISEC (共催) |
2016-12-22 15:40 |
広島 | 広島大学 東広島キャンパス 法人本部棟4階会議室 | 等価性構造保持仮定の下での等価性構造抽出における探索数削減 ○佐藤聖也（産総研）・高橋良暢（電通大）・山川 宏（ドワンゴAIラボ） ISEC2016-87 COMP2016-48 |
$K$個の系列IDからなる$K$-タプルにより指定される$K$次元系列を考える．$N$個ある系列IDから取り得る$K$-... [more] | ISEC2016-87 COMP2016-48 pp.81-86 |
| VLD | 2012-03-07 10:45 |
大分 | ビーコンプラザ | 単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法 ○川口隆広（名大）・高木一義・高木直史（京大） VLD2011-135 |
本研究では、単一磁束量子回路を時刻付き論理式で表現して等価性判定を行うことで、回路の状態数を削 減して機能検証を行う手... [more] |
VLD2011-135 pp.91-96 |
| NC, MBE (併催) |
2010-03-11 14:10 |
東京 | 玉川大学 | 時系列の逐次処理によって対称性（刺激等価性）の学習を行うニューラルネットワークモデル ○内田 淳・岡田浩之（玉川大） NC2009-168 |
「ある刺激（Ａ）と対応する別の刺激（Ｂ）を選択する」という行動を強化する訓練によって刺激間の関係を学習した場合，人間はＢ... [more] | NC2009-168 pp.473-478 |
| SS, KBSE (共催) |
2009-05-22 10:30 |
秋田 | 秋田大学 手形キャンパス | Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 ○伴 潤・今井敬吾・結縁祥治（名大） SS2009-9 KBSE2009-9 |
本稿では，プロセス計算の操作意味を定義するときに一般的に用いら れる構造操作意味定義(SOS)によって定義されるラベル... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| NLP | 2008-11-06 13:25 |
愛知 | 名古屋大学 | ファジィ推論法の等価性 ～ SIRMs結合型ファジィ推論法の場合 ～ ○関 宏理（阪大/学振） NLP2008-62 |
本稿ではファジィ推論法として用いられている単一入力ルール群結合型ファジィ推論法（SIRMs 推論法），代数積-加算-重心... [more] | NLP2008-62 pp.29-32 |
| VLD, CAS, SIP (共催) |
2008-06-27 09:40 |
北海道 | 北海道大学 高等教育機能開発センター | 機能等価性情報を用いたRTL-GLパスマッピングの一手法 ○岩田大志・大竹哲史・藤原秀雄（奈良先端大） CAS2008-21 VLD2008-34 SIP2008-55 |
論理合成やテストの際，回路のフォールスパスの情報を用いることで論理合成時間の短縮，回路面積の削減，テスト生成時間の短縮，... [more] | CAS2008-21 VLD2008-34 SIP2008-55 pp.13-18 |
| SS | 2006-06-22 14:00 |
岡山 | 岡山大学創立五十周年記念館 | 等式付き書換え系の等式数を削減する変換 ○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大） |
与えられた等式集合を法として計算する等式付き書換え計算では，等式集合の語問題が決定不能であるため，一般には，与えられた項... [more] | SS2006-14 pp.7-12 |
| NC | 2006-01-23 13:00 |
北海道 | 北海道大学 | 動物の論理を比較する：意味の獲得へと導くメカニズム ○山崎由美子・岡ノ谷一夫・入來篤史（理研） |
ヒトとヒト以外の動物における論理を比較すると，多くの種で共通するものと，ほとんどヒトにしか見られない特殊なものとがある．... [more] | NC2005-93 pp.19-24 |
| ISEC, IPSJ-CSEC, SITE (共催) |
2005-07-22 10:45 |
岩手 | 岩手県立大学 | IDベース暗号の安全性定義とそれらの関係 ○楊 鵬・花岡悟一郎・崔 洋・張 鋭・Nuttapong Attrapadung・松浦幹太・今井秀樹（東大） |
[more] | ISEC2005-46 pp.25-32 |
[研究会発表申込システムのトップページに戻る]