研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
COMP |
2024-03-14 11:30 |
東京 |
電気通信大学 |
ましゅの定数時間検査 ○兜石鼓太郎・伊藤大雄(電通大) COMP2023-30 |
本発表ではボードパズルの一つであるましゅに対する定数時間検査アルゴリズムを与える.
ましゅはNP完全であることが証明さ... [more] |
COMP2023-30 pp.14-21 |
KBSE |
2024-03-14 13:45 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ユーザの性格特性に基づくシステム安全性検証に関する一考察 ○成澤瑠佳・小形真平(信州大)・青木善貴(BIPROGY)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2023-72 |
人に危害を及ぼさないシステムを開発するためには,設計段階から安全性を考慮することが重要である.近年では,利用者の性格特性... [more] |
KBSE2023-72 pp.43-48 |
KBSE |
2024-03-14 14:10 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
倫理的判断へのモデル検査適用の試み ○青木善貴・中山陽太郎(BIPROGY) KBSE2023-73 |
自律的システムは,今後システムの安全を確保するとともに,倫理的な判断を行う必要がでてくると考えられる.形式手法の一つであ... [more] |
KBSE2023-73 pp.49-54 |
SIS |
2024-03-15 13:50 |
神奈川 |
神奈川工科大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[チュートリアル講演]プロダクションプリンターにおける検査装置の開発 ○鈴木貴士(マイクロ・テクニカ) SIS2023-62 |
プロダクションプリンターの印刷方式の一つとしてデジタル印刷方式が挙げられる.デジタル印刷方式は印刷用の版を必要としないた... [more] |
SIS2023-62 pp.93-98 |
LOIS |
2024-03-14 10:35 |
沖縄 |
沖縄県男女共同参画センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
描画過程に基づく認知機能検査アプリケーションの集団検査に向けた改良 ○吉田圭佑(神戸大)・佐伯幸郎(高知工科大)・児玉直樹(新潟医療福祉大)・佐藤 厚(愛知淑徳大)・陳 思楠・中村匡秀(神戸大) LOIS2023-60 |
現在,日本は超高齢社会による認知症患者数の増加に直面しており,認知症の早期発見に向けた集団認知機能検査の定期実施の実現が... [more] |
LOIS2023-60 pp.70-77 |
IE, MVE, IMQ (共催) CQ (併催) [詳細] |
2024-03-15 15:30 |
沖縄 |
沖縄産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
正常特徴量の正規性制約を用いた事前学習に基づくPaDiMによる高精度異常検知 ○小林大起・橋本 学(中京大) IMQ2023-89 IE2023-144 MVE2023-118 |
近年,機械学習手法を用いた外観検査の自動化に期待が寄せられており,その中でも,PaDiMと呼ばれる手法は,優れた異常検知... [more] |
IMQ2023-89 IE2023-144 MVE2023-118 pp.408-413 |
SS |
2024-03-07 15:50 |
沖縄 |
石垣市健康福祉センター(沖縄) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
軽量的な借用検査によるJavaプログラムの安全性解析 ○西見元希・丸山勝久(立命館大) SS2023-58 |
ソフトウェアにおける参照に対する操作の安全性を静的に保証する概念として,可変性および所有権が存在する.また,その2つの概... [more] |
SS2023-58 pp.55-60 |
PRMU, IBISML, IPSJ-CVIM (連催) ※学会内は併催 |
2024-03-03 15:36 |
広島 |
広島大学 東広島キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
学習済み深層学習モデルを用いた異常検出のための特徴量重ね合わせの最適化 ○平尾寿希・川原 僚・岡部孝弘(九工大)・大智 輝・佐々木雄飛(i-PRO) PRMU2023-63 |
画像に基づく異常検出は,外観検査の自動化に有用である.特に,学習済み深層学習モデルを用いて抽出した特徴量に基づく異常検出... [more] |
PRMU2023-63 pp.70-75 |
SeMI, IPSJ-UBI, IPSJ-MBL (連催) |
2024-02-29 16:10 |
福岡 |
福岡大学 |
小口径下水管検査のための複数台浮流無線カメラを用いた映像伝送プロトコルSVTP2023の性能評価 ○清水裕斗・Pham V. Thanh・石原 進(静岡大) SeMI2023-78 |
現在日本の下水管の老朽化が深刻化しており,早急な検査が必要である. しかしながら,既存の検査手法では,小口径下水管内を安... [more] |
SeMI2023-78 pp.42-47 |
DC |
2024-02-28 11:20 |
東京 |
機械振興会館 |
PlusCALを用いた耐故障コンセンサスアルゴリズムの記述と検証 ○小野蒼生・土屋達弘(阪大) DC2023-96 |
コンセンサスアルゴリズムは分散アルゴリズムの一種である.
本研究ではいくつかのコンセンサスアルゴリズムを故障時の動作も... [more] |
DC2023-96 pp.11-16 |
US |
2024-02-27 15:25 |
東京 |
東京都立産業技術研究センター 東京イノベーションハブ |
ゲート制御レーザ発振による光音響チャープ波の生成とその検証 ○中畑和之・山内謙汰(愛媛大)・林 高弘(阪大) US2023-78 |
通常,レーザを固体に照射したときに光音響効果で固体内に発生する超音波(光音響波)は超広帯域の信号であり,特定の周波数を発... [more] |
US2023-78 pp.26-28 |
US |
2024-02-27 15:50 |
東京 |
東京都立産業技術研究センター 東京イノベーションハブ |
変調信号による時間反転音響波の集束性向上の検討 ○髙橋歩武・野村英之(電通大) US2023-79 |
非破壊検査において利用される時間反転音響集束は複数素子を利用するケースが多い.一方,閉じられた環境におていは,単一素子で... [more] |
US2023-79 pp.29-31 |
ITS, IE (共催) ITE-MMS, ITE-ME, ITE-AIT (共催) (連催) [詳細] |
2024-02-20 13:15 |
北海道 |
北海道大学 |
バンドパスフィルタリングに基づく欠陥サイズ選択性を持つ異常検知:DoG-PaDiMの提案 ○平松直人・村上尚生・小林大起・秋月秀一・橋本 学(中京大) ITS2023-69 IE2023-58 |
外観検査の高精度化要求を背景として,近年,機械学習を用いた異常検知手法に期待が集まっている.とりわけPaDiMアルゴリズ... [more] |
ITS2023-69 IE2023-58 pp.124-129 |
SANE |
2024-01-19 14:15 |
宮城 |
電子航法研 岩沼分室および名取市文化会館 会議室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
レーダポラリメトリによる舗装診断の検討 ○齋藤龍真・佐藤源之(ALISys) SANE2023-99 |
地中からの完全な散乱波情報が得られるフル・ポーラリメトリ地中レーダ(GPR)による舗装の偏波計測を行い,レーダポラリメト... [more] |
SANE2023-99 pp.53-56 |
SeMI |
2024-01-19 10:15 |
山梨 |
楽気ハウス 甲斐路 |
[ショートペーパー]Leap Motion ControllerによるTrail Making Testを用いた注意機能リハビリテーションシステムの開発と評価 ○伊藤 駿・菅野正嗣(阪公立大) SeMI2023-65 |
注意障害は、注意が散漫になり、他の刺激により注意が移りやすく、一つのことに集中できなくなる 障害である。注意機能は記憶や... [more] |
SeMI2023-65 pp.82-87 |
QIT (第二種研究会) |
2023-12-19 11:15 |
沖縄 |
沖縄科学技術大学院大学 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
一般化量子部分空間展開法による量子エラー抑制の統合と改善 ○八角繁男(NTT)・吉岡信行(東大)・徳永裕己・遠藤 傑(NTT) |
量子エラー訂正機能を持たないノイズのある量子デバイスを最大限に活用するべく、数多くの量子エラー抑制法が提案されている。代... [more] |
|
NS, RCS (併催) |
2023-12-14 11:50 |
福岡 |
九州工業大学 戸畑キャンパス+オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[依頼講演]複数の移動無線観測機を用いた下水管検査の省力化の取り組み ○石原 進(静岡大) NS2023-130 RCS2023-183 |
2015年の下水道法改正により,管渠のうち腐食の恐れの大きい箇所に関して5年に1度以上の点検が必要となり,下水道維持管理... [more] |
NS2023-130 RCS2023-183 pp.33-34 |
US |
2023-11-27 15:20 |
静岡 |
静岡大学 |
強力空中超音波の非線形性を利用したパルスインバージョン法の検討 ○神谷大樹・清水鏡介・伊藤洋一・大隅 歩(日大) US2023-52 |
非破壊検査は,構造物を安全に長く使用するための重要な技術である.例えば,化学プラントや発電所における配管やタンクなどの大... [more] |
US2023-52 pp.50-54 |
ICSS |
2023-11-17 14:20 |
石川 |
ITビジネスプラザ武蔵(金沢) + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
OpenID Connectにおけるテストシナリオをプログラム記述可能なテストツールの提案 ○湯浅潤樹・笹田大翔・妙中雄三・門林雄基(奈良先端大) ICSS2023-66 |
シングルサインオン(SSO)は一度のユーザ認証により複数の web サービスへのログインを可能とする仕組みであり, これ... [more] |
ICSS2023-66 pp.108-113 |
SS, DC (共催) |
2023-10-11 16:00 |
長野 |
信州大学工学部(長野市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
相互排除アルゴリズムを対象とした形式検証技術の適用 ○西口尚輝・土屋達弘(阪大) SS2023-24 DC2023-30 |
並行アルゴリズムを正しく設計するのは難しい.本研究では,相互排除に注目し,並行アルゴリズムを仕様化し検証する形式手法の利... [more] |
SS2023-24 DC2023-30 pp.19-21 |