| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| QIT (第二種研究会) |
2023-12-18 15:50 |
沖縄 | 沖縄科学技術大学院大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
量子回路非最適化アルゴリズムの提案とコンパイラベンチマークへの応用 ○森 雄生・箱嶋秀昭・数藤恭平・森 俊夫・御手洗光祐（阪大）・藤井啓祐（阪大/理研） |
本発表では，回路の等価性を保ちながら冗長化することで量子回路を複雑化させるアルゴリズムとして、量子回路非最適化を提唱する... [more] | |
| 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 |
| VLD | 2012-03-07 10:45 |
大分 | ビーコンプラザ | 単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法 ○川口隆広（名大）・高木一義・高木直史（京大） VLD2011-135 |
本研究では、単一磁束量子回路を時刻付き論理式で表現して等価性判定を行うことで、回路の状態数を削 減して機能検証を行う手... [more] |
VLD2011-135 pp.91-96 |
[研究会発表申込システムのトップページに戻る]