研究活動
情報電子工学科の研究活動
学会発表
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| [P42] 単線クランプによる太陽電池モジュール内セル電圧非接触推定 | 令和5年電気学会電力?エネルギー部門大会 | 小林靖之研究室 | 詳細 |
| In-air readout 光学 CT の開発 | 第12回3次元ゲル線量計研究会 | 小金澤明登研究室 | 詳細 |
| Noise properties in the Coulomb blockade region of FinFET | 2023 International Conference on Solid State Devices and Materials | 棚本哲史研究室 | 詳細 |
| Five and three quantum dot systems as apparatuses for measuring energy-levels | Silicon Quantum Electronics Workshop 2023 | 棚本哲史研究室 | 詳細 |
| Classical circuit simulation s of superconducting quantum computer using conventional SPICE | Quantum Innovation 2023 | 棚本哲史研究室 | 詳細 |
| Measurement of qubits by using quantum dots via mediated electron system | International conference on Quantum Information Processing (QIP) 2024 | 棚本哲史研究室 | 詳細 |
| [21pD1-6]共鳴トンネル構造を使用したシリコンスピン量子ビットの読み出しに関する理論的考察 | 物理学会2024年春季大会 | 棚本哲史研究室 | 詳細 |
| [25p-12K-1~9] FinFETのクーロンブロッケイド領域におけるノイズ測定 | 2024年第71回応?物理学会春季学術講演会 | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| Plant Fault Diagnosis System using Negative Selection Algorithm | 14th International Symposium on Process Systems Engineering (PSE 2021+) | 木村直樹研究室 | 詳細 |
| SPICE compact model of spin qubits using FinFET focusing on single electron tunneling | 2022 International Conference on Solid State Devices and Materials (SSDM2022) | 棚本哲史研究室 | 詳細 |
| [16a-A403-7] FinFET 型スピン量子ビットの電子数制御に関する SPICE コンパクトモデルの提案 | 2023年第70回応用物理学会春季学術講演会 | 棚本哲史研究室 | 詳細 |
| [24aD1-5]グリーン関数法を用いた量子準位測定系としての多量子ドット系の理論的考察 | 物理学会2023年春季大会 | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| Notes on Avron's self-extensional four-valued paradefinite logic | The 51st IEEE International Symposium on Multiple-Valued Logic | 上出哲広研究室 | 詳細 |
| Symmetric Paraconsistent Quantum Logic | The 51st IEEE International Symposium on Multiple-Valued Logic | 上出哲広研究室 | 詳細 |
| 地震時における室内空間の機能維持のための研究 ―その7カメラ映像を?いた地震時即時室内被害状況判定?法の開発 アンケート結果の分析アップデート― | ?本建築学会 2021年度?本建築学会?会（東海）学術講演会 | 浜?宏一研究室 | 詳細 |
| 地震時における室内空間の機能維持のための研究 ―その8カメラ映像を?いた地震時即時室内被害状況判定?法の開発 ?動被害判定に向けた改善検討― | ?本建築学会 2021年度?本建築学会?会（東海）学術講演会 | 浜?宏一研究室 | 詳細 |
| 視覚障がい者のためのデプスカメラを?いた下り階段検知?通知システムの開発 | 情報処理学会?第17回アクセシビリティ研究会 | 塩野?剛亮研究室 | 詳細 |
| 感圧センサーを?いたストレス負荷の計測とストレス解消デバイスの開発 | 情報処理学会?第17回アクセシビリティ研究会 | 塩野?剛亮研究室 | 詳細 |
| ?覚異常を体験する間違い探しゲームの開発 | 電?情報通信学会?第113回福祉情報?学研究会 | 塩野?剛亮研究室 | 詳細 |
| 聴覚障害学?向けノベルゲーム型オンデマンド教材に関する基礎的検討 | 電?情報通信学会?第113回福祉情報?学研究会 | 塩野?剛亮研究室 | 詳細 |
| Expanding the realm of Belnap-Dunn logic: Self-extensional four-valued paradefinite logic, subtrilattice logic, and symmetric paraconsistent quantum logic | Colloquium on Loigc and Epistemology in Bochum | 上出哲広研究室 | 詳細 |
| Reasoning with inconsistency-tolerant fuzzy description logics | The 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) | 上出哲広研究室 | 詳細 |
| Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking | The 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) | 上出哲広研究室 | 詳細 |
| Inconsistency-tolerant hierarchical probabilistic computation tree logic model checking and its application to clinical reasoning verification | The 7th International Conference on Fuzzy Systems and Data Mining (FSDM 2021) | 上出哲広研究室 | 詳細 |
| 反証的CTLモデル検査の拡張とその応? | 情報処理学会第84回全国?会 | 上出哲広研究室 | 詳細 |
| [12p-N303-1]【注?講演】FinFETを?いた共通ゲートを持ったスピン量?ビットの提案 | 2021年第82回応?物理学会秋季学術講演会 | 棚本哲史研究室 | 詳細 |
| [E-PS-4-01] Conductance calculation in compact spin qubits of FinFET | 24th International Conference on Electronic Properties of Two-Dimensional Systems (EP2DS-24) | 棚本哲史研究室 | 詳細 |
| [23a E307 5] CMOSを?いたスピン量?ビット読み出し単 電?回路シミュレーション | 2022年第69回応?物理学会春季学術講演会 | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 手すり消毒ロボットの開発 | 第32回日本産業技術教育学会関東支部（東京大会） | 蓮田裕一研究室 | 詳細 |
| 河川要素を再現した水生昆虫の飼育装置の開発 | 第32回日本産業技術教育学会関東支部（東京大会） | 蓮田裕一研究室 | 詳細 |
| 量産化を視野にいれたヒトスジシマカのオートサンプリングマシンの開発 | 第32回日本産業技術教育学会関東支部（東京大会） | 蓮田裕一研究室 | 詳細 |
| WRO2019ハンガリー大会における競技ロボットの設計製作 | 第32回日本産業技術教育学会関東支部（東京大会） | 蓮田裕一研究室 | 詳細 |
| Inconsistency-tolerant fuzzy description logics | The 6th International Conference on Fuzzy Systems and Data Mining (FSDM 2020) | 上出哲広研究室 | 詳細 |
| Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information | The 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020) | 上出哲広研究室 | 詳細 |
| Completeness of subtrilattice logic | The 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020) | 上出哲広研究室 | 詳細 |
| Inconsistency-tolerant hierarchical probabilistic computation tree logic and its application to model checking | The 13th International Conference on Agents and Artificial Intelligence (ICAART 2021) | 上出哲広研究室 | 詳細 |
| 手すり除菌ロボットの開発 | 日本機械学会2020年度栃木ブロック研究交流会 | 蓮田裕一研究室 | 詳細 |
| 地震発生時のコンビニやスーパーにおける商品の落下を防止するシステム | 日本機械学会2020年度栃木ブロック研究交流会 | 蓮田裕一研究室 | 詳細 |
| Analysis of the Gaze Behavior of Deaf and Hard-of-Hearing Students During a Captioned Lecture | 17th ICCHP 2020 17th International Conference on Computers Helping People with Special Needs | 塩野目剛亮研究室 | 詳細 |
| 視覚と聴覚を併用した筋骨格系知識の学習教材の開発 | 電子情報通信学会?第110回福祉情報工学研究会（日本音響学会?聴覚研究会連催） | 塩野目剛亮研究室 | 詳細 |
| 組織シミュレータを用いた心理的距離の描画に関する基礎的検討 | 電子情報通信学会?第110回福祉情報工学研究会（日本音響学会?聴覚研究会連催） | 塩野目剛亮研究室 | 詳細 |
| ?盾許容階層確率モデル検査技術を?いた臨床推論?知識検証技法の提案 | 情報処理学会, 研究報告数理モデル化と問題解決(MPS) | 上出哲広研究室 | 詳細 |
| ?盾許容階層確率CTLモデル検査に対する論理と具体例 | 情報処理学会第83回全国?会 | 上出哲広研究室 | 詳細 |
| FDSによる換気の影響を考慮した漏洩水素挙動の数値シミュレーション | 日本機械学会2020年度年次大会 | 錦慎之助研究室 | 詳細 |
| 数値流体解析を用いた血液透析中のシャント血管における血流シミュレーション | 第30回日本臨床工学会 | 錦慎之助研究室 | 詳細 |
| FDSによるトンネル火災シミュレーションのVRによる可視化 | 第58回燃焼シンポジウム | 錦慎之助研究室 | 詳細 |
| Flame propagation over a methane hydrate surface | 第58回燃焼シンポジウム | 錦慎之助研究室 | 詳細 |
| FDSによる轟壕における火災シミュレーション | 第34回数値流体力学シンポジウム | 錦慎之助研究室 | 詳細 |
| Application of Helmholtz-Hodge decomposition and conditioned structure functions to exploring influence of premixed combustion on turbulence upstream of the flame | 38th International Symposium on Combustion | 錦慎之助研究室 | 詳細 |
| Solenoidal and potential velocity fields in weakly turbulent premixed flames | 38th International Symposium on Combustion | 錦慎之助研究室 | 詳細 |
| 下肢?術患者を対象とした下肢伸展挙上運動?援システムの開発 | 情報処理学会 第83回全国?会 | 眞坂美江子研究室 | 詳細 |
| バス遅延問題に対する機械学習を利?した解析 | 2021年 第68回応?物理学会春季学術講演会（オンライン） | 棚本哲史研究室 | 詳細 |
| Generation of all-to-all connections in a two-dimensional qubit array with two-body interactions | American Physical Society March Meeting 2021 | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| アクセシビリティ評価指標に基づいたモバイルオーディオゲームの開発（第2報） －チュートリアルモードの実装とプレイヤーの行動分析－ | 電子情報通信学会?第102回福祉情報工学研究会 | 塩野目剛亮 研究室 | 詳細 |
| モバイルオーディオゲームを体験しよう（チュートリアル） | 情報処理学会?第10回アクセシビリティ研究会 | 塩野目剛亮 研究室 | 詳細 |
| Finite model property for modal ideal paraconsistent four-valued logic | The 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019) | 上出哲広 研究室 | 詳細 |
| First-order Nelsonian paraconsistent quantum logic | The 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019) | 上出哲広 研究室 | 詳細 |
| 矛盾許容階層確率CTLモデル検査とその臨床推論検証への応用 | 日本ソフトウェア科学会第36回大会 | 上出哲広 研究室 | 詳細 |
| トイレでの高齢者の転倒を防ぐ介護ロボット | 第12回科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| ADVANCED ROBOTICS CHALLENGEロボットの設計とプログラミング | 第12回科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 緊急地震速報を活用した店舗商品の落下防止システムの開発 | 第31回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 衛生害虫のオートサンプリングマシンの開発と実験 | 第31回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| マイコンを駆使したものづくり教育の実践と成果 | 第31回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 農薬散布ロボットの開発 | 第31回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 字幕付き講義場面における聴覚障害学生の視線行動の分析 | 電子情報通信学会?第102回福祉情報工学研究会 | 塩野目剛亮 研究室 | 詳細 |
| IPtalkによる作成字幕をインターネット配信に利用するためのデバイスとアプリケーションの開発 | 情報処理学会?第11回アクセシビリティ研究会 | 塩野目剛亮 研究室 | 詳細 |
| First Evaluation of Information Support of everyone by everyone for everyone TimeLine (ISeeeTL) applied to Deafand Hard of Hearing People Watching Sport | 15th International Conference of the Association for the Advancement of Assistive Technology in Europe (AAATE) | 塩野目剛亮 研究室 | 詳細 |
| Nudge-Oriented Physiological Measurements Using Game Devices | U-helathcare 2019: Engineering in Circadian Rhythm and Ubiquitous Healthcare | 小川充洋 研究室 | 詳細 |
| ダイナミックプロジェクションマッピングによるデバイスレスな教育学習環境の提案 | 第44回 教育システム情報学会 全国大会 | 水谷晃三 研究室 | 詳細 |
| Extending Probabilistic Model Checking | The 3rd International Conference on Software and e-Business (ICSEB 2019) | 上出哲広 研究室 | 詳細 |
| An extended description logic for inconsistency-tolerant ontological reasoning with sequential information | The 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) | 上出哲広 研究室 | 詳細 |
| 歩行量増加を対象とした健康増進保険と自動車抑制意欲に関する属性分析 | 第60回土木計画学研究発表会?秋大会 | 眞坂美江子 研究室 | 詳細 |
| 自動車利用の適正利用動機づけを目的とした動画クイズラリー | 第十四回日本モビリティ?マネジメント会議 | 眞坂美江子 研究室 | 詳細 |
| 足関節自動運動の現状分析とより効果的な運動を目指した運動検知手法の検討 | 情報処理学会 第82回全国大会 | 眞坂美江子 研究室 | 詳細 |
| 足関節運動支援システムの開発 | 情報処理学会 第82回全国大会 | 眞坂美江子 研究室 | 詳細 |
| New Sparse Modeling of Sample Mahalanobis Distance | The Conference of Data Science, Statistics & Visualisation (DSSV 2019) August 13-15, 2019 in Kyoto, Japan. | 小林靖之研究室 | 詳細 |
| FDSによる広範な延焼領域での火災旋風のシミュレーション | 第57回燃焼シンポジウム | 錦研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| Challenges of Building an Authentic Emotional Speech Corpus of Spontaneous Japanese Dialog | Special Speech Session in The International Conference on Language Resources and Evaluation (LREC2018) | 有本泰子 研究室 | 詳細 |
| Consistency of base frequency labelling for the F0 contour generation model using expressive emotional speech corpora | The 9th International Conference on Speech Prosody 2018 | 有本泰子 研究室 | 詳細 |
| A Study on Organization Simulator as a Means to Prevent Workplace Depression | 20th HCI International 2018 Human-Computer Interaction International Conference 2018 | 塩野目剛亮 研究室 | 詳細 |
| クラウドソーシングによる字幕情報保障に関する基礎的検討（第3報） －実況音声の発話内容分類とワーカの入力結果の分析－ | 電子情報通信学会?福祉情報工学研究会 | 塩野目剛亮 研究室 | 詳細 |
| 大学初の技能五輪全国大会移動式ロボットへの挑戦 | 科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| WRO2017コスタリカ大会における競技ロボットの設計製作と動向 | 科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| Incorporating physiological measurement with gaming. As you know, it is easier to play digital game daily than to measure your blood pressure daily. A proposal of a novel future outlook of healthcare with digital gaming; "incorporating physiological measurement with gaming." | 8th Games for Health Europe Conference (Games for Health Europe 2018) | 小川充洋 研究室 | 詳細 |
| Digital game devices using for basis of physiological measurements | 日本生体医工学会大会 | 小川充洋 研究室 | 詳細 |
| Digital game devices using for basis of physiological measurements | 2ND DIGITAL HEALTH & WELLBEING CONFERENCE | 小川充洋 研究室 | 詳細 |
| ナラティブ的思考の一解釈に注目したトレーディングカードゲーム要素を用いてゲーミファイするプログラミング支援の試み（第3報） | 日本デジタルゲーム学会 夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| ゲームデバイス埋め込み型生体計測によるゲームプレイ時の脈波伝搬時間計測法開発の試み | 日本デジタルゲーム学会 夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| 対話中に表出した笑い声の声質分析 | 日本音響学会 | 有本泰子 研究室 | 詳細 |
| ソフトシステム方法論に基づく教育?学習支援ツールの開発 | 日本ソフトウェア科学会 | 上出哲広 研究室 | 詳細 |
| ソフトシステム方法論を用いた教育カリキュラム設計における概念モデルの形式検証 | 日本ソフトウェア科学会 | 上出哲広 研究室 | 詳細 |
| Foundations of Hierarchical Model Checking: Logics, Translations, and Examples | The 4th International Conference on Fuzzy Systems and Data Mining | 上出哲広 研究室 | 詳細 |
| デジタルゲームと生体計測を融合した健康管理方式の提案 | 黒潮カンファレンス | 小川充洋 研究室 | 詳細 |
| 静的シミュレータで心理的距離の自己認知を観察しよう | 情報処理学会?第8回アクセシビリティ研究会 | 塩野目剛亮 研究室 | 詳細 |
| An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa | The 11th International Conference on Agents and Artificial Intelligence | 上出哲広 研究室 | 詳細 |
| Towards hierarchical probabilistic CTL model checking: Theoretical foundations | The 11th International Conference on Agents and Artificial Intelligence | 上出哲広 研究室 | 詳細 |
| Towards locative inconsistency-tolerant hierarchical probabilistic CTL model checking: Survey and future work | The 11th International Conference on Agents and Artificial Intelligence | 上出哲広 研究室 | 詳細 |
| アクセシビリティ評価指標に基づいたモバイルオーディオゲームの開発 | 電子情報通信学会?第100回福祉情報工学研究会 情報処理学会?第9回アクセシビリティ研究会 連催研究会 | 塩野目剛亮 研究室 | 詳細 |
| 初年次PBL科目「プロジェクト演習」の設計と授業実践 | 教育システム情報学会第43回全国大会 | 高井久美子 研究室 | 詳細 |
| ティーチング?ポートフォリオの更新に向けた日常的な教育活動の情報整理ツール | 大学ICT推進協議会2018年度年次大会 | 高井久美子 研究室 | 詳細 |
| ティーチング?ポートフォリオの更新に向けた日常的な教育活動の情報整理の試行 | 情報処理学会第81回全国大会 | 高井久美子 研究室 | 詳細 |
| Multi-scale Subnetwork for RoI Pooling for Instance Segmentation | 第1回帝京?学研究交流シンポジウム | 荒井正之 研究室 | 詳細 |
| Two-stage Deep Neural Network for General Object Detection | 第1回帝京?学研究交流シンポジウム | 荒井正之 研究室 | 詳細 |
| 緊急地震速報と連動したLPGタンクの緊急排水システム | 第30回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 衛生害虫のオートサンプリングマシンの設計と製作 | 第30回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| ハウス内での健康被害を防ぐ農薬散布ロボットの開発 | 第30回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 自律型ロボットの制御とロボコン日本大会参加 | 第3回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| プログラムの並列処理を重点とした自律型ロボット | 第3回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 衛生害虫のサーベイランスに用いるオートサンプリングマシンの設計と製作 | 第3回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 緊急地震速報を用いたLPGタンクの減災システム | 第3回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| ハウス内で自律走行する農薬散布ロボットの開発 | 第3回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| デジタルゲームデバイス融合型生体計測の開発とその未来型健康管理への応用の提案 | 日本デジタルゲーム学会第9回年次大会 | 小川充洋 研究室 | 詳細 |
| デジタルゲームプレイ中に使用可能な生体計測装置設計および製造技術の公開に関する検討 | 日本デジタルゲーム学会第9回年次大会 | 小川充洋 研究室 | 詳細 |
| トレーディングカードゲーム要素に注目したプログラミング技術支援修得環境の開発 | 日本デジタルゲーム学会第9回年次大会 | 小川充洋 研究室 | 詳細 |
| 通勤社会実験から見た自転車?徒歩推進施策における情報通信システムの活用効果 | 土木学会全国大会 第73回年次学術講演会 | 眞坂美江子 研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| VR環境下における光電脈波の無意識計測の試み A novel attempt for Spontaneous PPG measurement for 3D-VR viewing | 第56回日本生体医工学会大会 | 小川充洋 研究室 | 詳細 |
| Phase semantics for multilattice formalism, | The 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017) | 上出哲広 研究室 | 詳細 |
| Extending ideal paraconsistent four-valued logic | The 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017) | 上出哲広 研究室 | 詳細 |
| Natural deduction for connexive paraconsistent quantum logic | The 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017) | 上出哲広 研究室 | 詳細 |
| An extended first-order Belnap-Dunn logic with classical negation | The 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017) | 上出哲広 研究室 | 詳細 |
| Physiological Measurement in Virtual Reality Contents Watching; Photoplethysmograph Embedded in 3D VR Gaming Headset | The 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society | 小川充洋 研究室 | ? |
| VR用ヘッドセット埋め込み型生体計測を目指した前額脈波計測によるゲーム中の心拍変動計測および自律神経指標推定の試み | 日本デジタルゲーム学会2017年夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| ナラティブ的思考の一解釈に注目したトレーディングカードゲーム要素を用いてゲーミファイするプログラミング支援の試み | 日本デジタルゲーム学会2017年夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| 生体計測とデジタルゲーム | 日本デジタルゲーム学会2017年夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| 前額部光電脈波計測によるデジタルゲームプレイ中の心拍変動計測の試み | 電子情報通信学会?MEとバイオサイバネティックス研究会 | 小川充洋 研究室 | 詳細 |
| Emotion category mapping to emotional space by cross-corpus emotion labeling | Interspeech 2017 | 有本泰子 研究室 | 詳細 |
| 矛盾許容モデル検査のための論理と翻訳 | 日本ソフトウェア科学会第34回大会 | 上出哲広 研究室 | 詳細 |
| 矛盾許容モデル検査の臨床推論検証および学習プロセス検証への応用 | 日本ソフトウェア科学会第34回大会 | 上出哲広 研究室 | 詳細 |
| 階層モデル検査による階層的推論プロセスの検証 | 日本ソフトウェア科学会第34回大会 | 上出哲広 研究室 | 詳細 |
| 階層モデル検査： 論理, 翻訳および具体例 | 情報処理学会第115回数理モデル化と問題解決研究会 | 上出哲広 研究室 | 詳細 |
| 福島第一原発の地震被害と１号機の解析 | 環境放射能除染学会 | 飽本一裕 研究室 | 詳細 |
| ビニールハウス内での農薬散布による健康被害を防ぐロボットの設計と開発 | 科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| myRIOとEV3による画像解析とARCロボットの設計製作 | 科学技術におけるロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| Physiological Measurements on a Gaming Virtual Reality Headset Using Photoplethysmography; A preliminary attempt at incorporating physiological measurement with gaming | The 2017 IEEE Region 10 Conference (TENCON2017) | 小川充洋 研究室 | 詳細 |
| デジタルゲームプレイ中の非侵襲生体計測による小ストレスへの生体反応情報計測と解釈 | 第2回黒潮カンファレンス | 小川充洋 研究室 | 詳細 |
| D1-11 母固有値の推定を必要としない標本マハラノビス距離補正法の改良 | 第20回情報論的学習理論 ワークショップ(IBIS2017) | 小林靖之 研究室 | 詳細 |
| 「遊び」の観点からのロボット競技に関する考察の試み ―ゲーミフィケーションとも関連して― | 第2回ロボット技術教育シンポジウム | 小川充洋 研究室 | 詳細 |
| 問題解決型の授業を通したものづくり教育の実践と成果 | 第29回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 緊急地震速報と連動した歯科治療用ハンドピースの停止システム | 第29回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| 水生昆虫の流下個体数の測定システム －カゲロウの生活型の違いによる流下個体数の変化－ | 第29回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| WRO2017コスタリカ大会における自律型ロボットの動向 | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 高校生ロボットアメリカンフットボール大会の概要とロボットの設計製作 | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 技能五輪全国大会用ロボットの設計製作 | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| EEWを用いた歯科用ハンドピースの停止システム | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| カゲロウ幼虫の流下個体数計測システム | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| WROコスタリカ世界大会出場ロボットの設計製作 | 第2回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| Paraconsistent model checking: Logics, translations and examples | 2017 International Conference on Software and e-Business (ICSEB 2017), Hong Kong, 28-30 December, 2017. | 上出哲広 研究室 | 詳細 |
| Logics and translations for inconsistency-tolerant model checking | The 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), Funchal, Madeira – Portugal, 16-18 January, 2018. | 上出哲広 研究室 | 詳細 |
| 7-031 変調レーザー光と位相検波器を用いたモジュール内のセル電圧の非接触推定 | 2018年電気学会全国大会 | 小林靖之 研究室 | 詳細 |
| D-7-15 「うつ病?不安障害」有病者推定のための新規解析手法の研究 | 2018年電子情報通信学会総合大会 | 小林靖之 研究室 | 詳細 |
| 学生アシスタントが主導するグループ学習のための進捗状況管理システム | 情報処理学会第80回全国大会 | 渡辺博芳 研究室 | 詳細 |
| 手の動きに追従するUIの追従範囲の拡大のための検討 | 情報処理学会第80回全国大会 | 水谷晃三 研究室 | 詳細 |
| 手の動きに追従するUIにおける手の認識とタグ付けによる判別の研究 | 情報処理学会第80回全国大会 | 水谷晃三 研究室 | 詳細 |
| ヘッドマウントディスプレイで閲覧するデジタルマンガコンテンツの開発 | 情報処理学会第80回全国大会 | 佐々木茂 研究室 | 詳細 |
| 加速度センサーを用いたスマートフォンのためのデジタルマンガコンテンツ開発 | 情報処理学会第80回全国大会 | 佐々木茂 研究室 | 詳細 |
| 前額光電脈波計測によるゲーム中の心拍変動計測および自律神経指標解釈の試み | 日本デジタルゲーム学会 第8回年次大会 | 小川充洋 研究室 | 詳細 |
| 生体計測基盤としてのゲームデバイス利用の試み | 日本デジタルゲーム学会 第8回年次大会 | 小川充洋 研究室 | 詳細 |
| ナラティブ的思考の一解釈に注目したトレーディングカードゲーム要素を用いてゲーミファイするプログラミング支援の試み（第2報） | 日本デジタルゲーム学会 第8回年次大会 | 小川充洋 研究室 | 詳細 |
| ArduinoとScilabによる心音聴音とセグメンテーション | 電子情報通信学会?MEとバイオサイバネティックス研究会 | 小川充洋 研究室 | 詳細 |
| 感情知覚に対するセンシティビティが異なる評価者群による感情評定値の比較 | 日本音響学会2018年春季研究発表会 | 有本泰子 研究室 | 詳細 |
| 小学校におけるプログラミング教育で育てる資質能力を考慮した指導内容の検討 | 情報処理学会コンピュータと教育研究会 | 高井久美子 研究室 | 詳細 |
| ティーチング?ポートフォリオの作成と更新に対する組織的な支援の初期検討 | 教育システム情報学会 | 高井久美子 研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| Design and Implementation of the Slim Camera Sensor Network Wirelessly Powered by Cloud-Robotic Drones | 2017 5th International Conference on Information and Computer Networks | 近藤直樹 研究室 | 詳細 |
| つくばチャレンジ2016における屋外自律移動ロボットProgress-i MK-IIの開発 （予稿：1B3-5、 pp.126-127、 2016） | 第17回計測自動制御学会 システムインテグレーション部会講演会（SI2016） | 山根健 研究室 | 詳細 |
| 変調光と位相検波器を用いたモジュール内セル電圧の推定 | 2017年電気学会全国大会 | 小林靖之 研究室 | 詳細 |
| Paraconsistent sequential linear-time temporal logic and its application to medical reasoning | 科学基礎論学会2016年度研究例会ワークショップ | 上出哲広 研究室 | 詳細 |
| Webベースのクラスレスポンスシステムにおける端末センサの活用方法の検討 | 第15回情報科学技術フォーラム（FIT2016） | 水谷晃三 研究室 | 詳細 |
| Classroom Response System における応答状況に基づく自律的な学習支援機能の検討 | 情報処理学会 第79回全国大会 | 水谷晃三 研究室 | 詳細 |
| 制御構造における変数の値変化と役割の理解を目的とした独自の図表現によるプログラミング学習支援の研究 | 情報処理学会 第79回全国大会 | 水谷晃三 研究室 | 詳細 |
| 大学のプログラミング教育のためのルーブリックの検討 | 情報処理学会 教育学習支援情報システム研究会 | 渡辺博芳 研究室 | 詳細 |
| 協働的教授モデルのプログラミング教育への適用 | 大学ICT推進協議会2016年度年次大会 | 渡辺博芳 研究室 | 詳細 |
| 組み込みシステム入門を目的としたモデルロケット教材の開発 | 2016年 第77回応用物理学会秋季学術講演会 | 平谷雄二 研究室 | 詳細 |
| 初めてワンボードマイコンを手にする教員のための効果的な習熟法 | 2017年 第64回応用物理学会春季学術講演会 | 平谷雄二 研究室 | 詳細 |
| Advanced Robotics Challenge の現状と展望 | 第9回WROロボット教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 自律型ロボット設計上におけるmyRIOとEV3の特徴と比較 －ARC大会用ロボットの設計上の改善法－ | 第28回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| myRIOを用いたWRO世界大会用ロボット設計?製作 －WRO2016ニューデリー大会対策ロボット－ | 第28回日本産業技術教育学会関東支部大会 | 蓮田裕一 研究室 | 詳細 |
| WRO2016ニューデリー大会における自律型ロボットの動向 | 第1回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 農薬散布ロボットの設計と開発 | 第1回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| myRIOを用いた画像解析と自律型ロボットの製作 | 第1回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| myRIOとEV3の特徴と自律型ロボットの設計 | 第1回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 自律型ロボットの設計製作を通した世界的な視野を持つエンジニアの育成 | 第1回ロボット技術教育シンポジウム | 蓮田裕一 研究室 | 詳細 |
| 色覚障がい者の日常生活支援のためのスマートフォンアプリケーションの開発の試み Daily Living Supporting Smartphone Application for Color-blindness to Match Pair of Socks with Different Colors | 第55回日本生体医工学会大会 | 小川充洋 研究室 | 詳細 |
| ゲームプレイ中の生体情報計測のためのワークショップの試み | 日本デジタルゲーム学会第5回夏季研究発表大会 | 小川充洋 研究室 | 詳細 |
| ゲームデバイスと親和性の高い生体計測の試み | 日本デジタルゲーム学会2016年度年次大会 | 小川充洋 研究室 | 詳細 |
| 反転授業で行われる大学のプログラミング教育に対する上級生によるグループ指導の導入 | 情報処理学会CE研究会 | 荒井正之 研究室 | 詳細 |
| 大学のプログラミング教育のためのルーブリックの検討 | 情報処理学会CLE研究会 | 荒井正之 研究室 | 詳細 |
| 大学のプログラミング教育における反転授業とルーブリックによる自己評価の導入 | 教育システム情報学会 全国大会 | 荒井正之 研究室 | 詳細 |
| Webアプリ開発を題材とした仮想的およびリアルな状況設定によるプロジェクト管理演習の実践 | 教育システム情報学会 全国大会 | 荒井正之 研究室 | 詳細 |
| 協働的教授モデルのプログラミング教育への適用 | 大学ICT推進協議会 2016年度年次大会 | 荒井正之 研究室 | 詳細 |
| PBLによるプロジェクト管理演習のためのコミュニケーション支援ツールを用いた授業実践 | 情報処理学会 全国大会 | 荒井正之 研究室 | 詳細 |
| 制御構造における変数の値変化と役割の理解を目的とした独自の図表現によるプログラミング学習支援の研究 | 情報処理学会 全国大会 | 荒井正之 研究室 | 詳細 |
| 福島県の線量率測定システムの変遷 | 日本物理学会 | 飽本一裕 研究室 | 詳細 |
| 電子ビームのカスプ磁場への入射とポテンシャルの観測 | 宇宙科学に関する室内実験シンポジウム(JAXA) | 飽本一裕 研究室 | 詳細 |
| Paraconsistent double negation that can simulate classical negation | The 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016) | 上出哲広 研究室 | 詳細 |
| Cut-free systems for restricted bi-intuitionistic logic and its connexive extension | The 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016) | 上出哲広 研究室 | 詳細 |
| 教科「情報」における自己評価を取り入れた問題解決の授業実践 | 教育システム情報学会 全国大会 | 高井久美子 研究室 | 詳細 |
| Webアプリ開発を題材とした仮想的およびリアルな状況設定によるプロジェクト管理演習の実践 | 教育システム情報学会 全国大会 | 高井久美子 研究室 | 詳細 |
| 大学のプログラミング教育における反転授業とルーブリックによる自己評価の導入 | 教育システム情報学会 全国大会 | 高井久美子 研究室 | 詳細 |
| 協働的教授モデルのプログラミング教育への適 | 大学ICT推進協議会 2016年度年次大会 | 高井久美子 研究室 | 詳細 |
| PBLによるプロジェクト管理演習のためのコミュニケーション支援ツールを用いた授業実践 | 情報処理学会 全国大会 | 高井久美子 研究室 | 詳細 |
| 大学のプログラミング教育のためのルーブリックの検討 | 情報処理学会 教育学習支援情報システム研究会 | 水谷晃三 研究室 | 詳細 |
| 大学のプログラミング教育における反転授業とルーブリックによる自己評価の導入 | 教育システム情報学会 全国大会 | 水谷晃三 研究室 | 詳細 |
| 反転授業で行われる大学のプログラミング教育に対する上級生によるグループ指導の導入 | 情報処理学会 コンピュータと教育研究会 | 水谷晃三 研究室 | 詳細 |
| 協働的教授モデルのプログラミング教育への適用 | 大学ICT推進協議会 年次大会 | 水谷晃三 研究室 | 詳細 |
| 音声を再生時に合成する携帯端末向け講義ビデオの提案 | 情報処理学会 | 古川文人 研究室 | 詳細 |
| 大学のプログラミング教育における反転授業とルーブリックによる自己評価の導入 | 教育システム情報学会 全国大会 | 盛拓生 研究室 | 詳細 |
| 反転授業で行われる大学のプログラミング教育に対する上級生によるグループ指導の導入 | 情報処理学会 コンヒ?ュータと教育研究会CE136 | 盛拓生 研究室 | 詳細 |
| 年度 | 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|---|
| 2009 | Design for Object-Oriented Modeling Course Blending Individual and Collaborative Learning Activities | The 17th International Conference on Computers in Education(ICCE2009) | 高井久美子 研究室 | 詳細 |
| 2010 | オブジェクト指向モデリングを対象とした個別学習と協調学習を組み合わせた授業の実践と評価 | 教育システム情報学会 全国大会 | 高井久美子研究室 | 詳細 |
| 2013 | グループ討議演習支援システムのためのグループ生成機能 | 教育システム情報学会 全国大会 | 高井久美子研究室 | 詳細 |
| 2015 | 東福島における放射性物質の飛散による２次放射能汚染 | 日本物理学会年会 | 飽本一裕 研究室 | 詳細 |
| 教員間での共有を目的とした授業デザインの記述方法の検討 | 情報処理学会 全国大会 | 高井久美子 研究室 | 詳細 | |
| 反転授業の分類に関する検討 | 教育システム情報学会 全国大会 | 高井久美子 研究室 | 詳細 | |
| プロジェクト管理の手法を用いたPBLのためのコミュニケーション支援ツールの開発 | 情報処理学会 全国大会 | 高井久美子 研究室 | 詳細 | |
| 上方に設置したセンサによる指文字認識方法の研究 | 情報処理学会 全国大会 | 水谷晃三 研究室 | 詳細 | |
| PBL におけるメンバの役割を考慮したグループ自動編成方法の研究 | 情報処理学会 全国大会 | 水谷晃三 研究室 | 詳細 | |
| 複数人の利用者の手の動きに追従するユーザインタフェースの研究 | 情報処理学会 全国大会 | 水谷晃三 研究室 | 詳細 |
論文発表
| 題名 | 研究室 | 内容 |
|---|---|---|
| Five and three quantum dot systems as apparatuses for measuring energy levels | 棚本哲史研究室 | 詳細 |
| SPICE compact model of controlling electrons of spin qubits using FinFET | 棚本哲史研究室 | 詳細 |
| New precise model of studentized principal components | 小林靖之研究室 | 詳細 |
| Classical SPICE simulation of superconducting quantum circuits | 棚本哲史研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| Compact spin qubits using the common gate structure of fin field-effect transistors | 棚本哲史研究室 | 詳細 |
| Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation | 上出哲広研究室 | 詳細 |
| Modal and intuitionistic variants of extended Belnap--Dunn logic with classical negation | 上出哲広研究室 | 詳細 |
| Alternative multilattice logics: An approach based on monosequent and indexed monosequent calculi | 上出哲広研究室 | 詳細 |
| Notes on Avron's self-extensional four-valued paradefinite logic | 上出哲広研究室 | 詳細 |
| Symmetric paraconsistent quantum logic | 上出哲広研究室 | 詳細 |
| Falsification-aware semantics and sequent calculi for classical logic | 上出哲広研究室 | 詳細 |
| Development and Usability Test of Pesticide Spraying Robot for Greenhouse | 蓮田裕一研究室 | 詳細 |
| 字幕付き数学講義場?における聴覚障害学?の受講?動 ―図表や数式を挿?した字幕に対する視線?動― | 塩野?剛亮研究室 | 詳細 |
| Inconsistency-tolerant hierarchical probabilistic CTL model checking: Logical foundations and illustrative examples | 上出哲広研究室 | 詳細 |
| Reasoning with inconsistency-tolerant fuzzy description logics | 上出哲広研究室 | 詳細 |
| Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking | 上出哲広研究室 | 詳細 |
| Simulations of hybrid charge-sensing single-electron-transistors and CMOS circuits | 棚本哲史研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| SPICE Simulation of 32-kHz crystal-oscillator operation based on Si tunnel FET | 棚本哲史 研究室 | 詳細 |
| Improved method for correcting sample Mahalanobis distance without estimating population eigenvalues or eigenvectors of covariance matrix | 小林靖之研究室 | 詳細 |
| Impact of Switching Voltage on Complementary Steep-Slope Tunnel Field Effect Transistor Circuits | 棚本哲史 研究室 | 詳細 |
| Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic | 上出哲広 研究室 | 詳細 |
| Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion | 上出哲広 研究室 | 詳細 |
| Modal extension of ideal paraconsistent four-valued logic and its subsystem | 上出哲広 研究室 | 詳細 |
| Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information | 上出哲広 研究室 | 詳細 |
| Completeness of subtrilattice logic | 上出哲広 研究室 | 詳細 |
| Generation of all-to-all connections in a two-dimensional qubit array with two-body interactions | 棚本哲史 研究室 | 詳細 |
| Suppression of burrs in austenitic stainless-steel by applying magnetic-field-assisted method | 蓮田裕一 研究室 | 詳細 |
| The system to prevent falling products in stores linked with earthquake early warning | 蓮田裕一 研究室 | 詳細 |
| Development of an automatic sampling machine for mosquito surveillance | 蓮田裕一 研究室 | 詳細 |
| The voice call system to prevent falls of care recipients in the toilet | 蓮田裕一 研究室 | 詳細 |
| Lattice logic, bilattice logic and paraconsistent quantum logic: A unified framework based on monosequent systems | 上出哲広 研究室 | 詳細 |
| Inconsistency-tolerant hierarchical probabilistic computation tree logic and its application to model checking | 上出哲広 研究室 | 詳細 |
| Analysis of the Gaze Behavior of Deaf and Hard-of-Hearing Students During a Captioned Lecture | 塩野目剛亮 研究室 | 詳細 |
| クラウドソーシングに基づく聴覚障害者によるリアルタイム文字情報保障システムの開発 | 塩野目剛亮 研究室 | 詳細 |
| Hybrid Caption Including Formula or Figure for Deaf and Hard-of-Hearing Students | 塩野目剛亮 研究室 | 詳細 |
| Dissipation and dilatation rates in premixed turbulent flames | 錦慎之助?研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| Application of single-electron effects to fingerprints of chips using image recognition algorithms | 棚本哲史 研究室 | 詳細 |
| Reservoir Computing on Spin-Torque Oscillator Array | 棚本哲史 研究室 | 詳細 |
| Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic | 上出哲広 研究室 | 詳細 |
| Finite model property for modal ideal paraconsistent four-valued logic | 上出哲広 研究室 | 詳細 |
| First-order Nelsonian paraconsistent quantum logic | 上出哲広 研究室 | 詳細 |
| Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality | 上出哲広 研究室 | 詳細 |
| A substructural view of multilattice logic | 上出哲広 研究室 | 詳細 |
| Logical foundation of locative inconsistency-tolerant hierarchical probabilistic model checking | 上出哲広 研究室 | 詳細 |
| Design and Production of the Robot for National Skills in Japan and Participation in the Competition | 蓮田裕一 研究室 | 詳細 |
| Design and Production of the Robot for WRO International Competition | 蓮田裕一 研究室 | 詳細 |
| Emergency drainage system of LPG tank linked with earthquake early warning | 蓮田裕一 研究室 | 詳細 |
| Development of auto-sampling machine for sanitary pest and surveillance | 蓮田裕一 研究室 | 詳細 |
| Life history and Nymphal habitat of the Mayfly Ephoron shigae(Ephemeroptera:Polymitarcidae) | 蓮田裕一 研究室 | 詳細 |
| NIR spectroscopic determination of urine components in spot urine: preliminary investigation towards optical point-of-care test | 小川充洋 研究室 | 詳細 |
| Digital Game Devices with Physiological Measurement; For Games as Future Healthcare Bases | 小川充洋 研究室 | 詳細 |
| 変調光によるモジュール内セル電圧の非接触推定におけるセル電圧検量線の提案 | 小林靖之 研究室 | 詳細 |
| Proposal for Deviceless Learning Environments Instead of Environments Using Smart Devices | 水谷晃三 研究室 | 詳細 |
| Some properties of first-order Nelsonian paraconsistent quantum logic | 上出哲広 研究室 | 詳細 |
| An extended description logic for inconsistency-tolerant ontological reasoning with sequential information | 上出哲広 研究室 | 詳細 |
| 地方都市若年層を対象とした自動車利用抑制への動機づけにおけるメディア活用効果の分析 | 眞坂美江子 研究室 | 詳細 |
| Influence of Thermal Expansion on Potential and Rotational Components of Turbulent Velocity Field Within and Upstream of Premixed Flame Brush | 錦慎之助?研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| Challenges of Building an Authentic Emotional Speech Corpus of Spontaneous Japanese Dialog | 有本泰子 研究室 | 詳細 |
| Reagentless Estimation of Urea and Creatinine Concentrations Using Near-Infrared Spectroscopy for Spot Urine Test of Urea-to-Creatinine Ratio | 小川充洋 研究室 | 詳細 |
| Consistency of base frequency labelling for the F0 contour generation model using expressive emotional speech corpora | 有本泰子 研究室 | 詳細 |
| Some Factors influencing the drift rates of mayfly larvae in the artificial stream | 蓮田裕一 研究室 | 詳細 |
| A Study on Organization Simulator as a Means to Prevent Workplace Depression | 塩野目剛亮 研究室 | 詳細 |
| A Braking System of Instruments for Dental Treatments in Case of Earthquake | 蓮田裕一 研究室 | 詳細 |
| Development and effect of Micro Processing for teaching materials using a machining center | 蓮田裕一 研究室 | 詳細 |
| VR用ヘッドマウントディスプレイ装置埋め込み型生体計測を目指した額部光電脈波計測の試み | 小川充洋 研究室 | 詳細 |
| Guitar Chord Recognition based on Finger Patterns with Deep Learning | 荒井正之 研究室 | 詳細 |
| Multi-scale Subnetwork for RoI Pooling for Instance Segmentation | 荒井正之 研究室 | 詳細 |
| Recognition of Expiration Dates Written on Food Packages with Open Source OCR | 荒井正之 研究室 | 詳細 |
| 対話中に表出した笑い声の声質分析 | 有本泰子 研究室 | 詳細 |
| Proof theory of paraconsistent quantum logic | 上出哲広 研究室 | 詳細 |
| Decidable temporal and sequential relevant logics | 上出哲広 研究室 | 詳細 |
| Yet another paradefinite logic: The role of conflation | 上出哲広 研究室 | 詳細 |
| Logical foundations of hierarchical model checking | 上出哲広 研究室 | 詳細 |
| Extending paraconsistent quantum logic: A single-antecedent/succedent system approach | 上出哲広 研究室 | 詳細 |
| Foundations of Hierarchical Model Checking: Logics, Translations, and Examples | 上出哲広 研究室 | 詳細 |
| The Practice and Achievement of Creativity Education through Problem-Solving Classes | 蓮田裕一 研究室 | 詳細 |
| Investigation of the Accuracy of the Sensors used for Educational Robots and Effective Exemplification of the Use | 蓮田裕一 研究室 | 詳細 |
| Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality | 上出哲広 研究室 | 詳細 |
| Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: A general framework | 上出哲広 研究室 | 詳細 |
| Foundations of inconsistency-tolerant model checking: Logics, translations, and examples | 上出哲広 研究室 | 詳細 |
| An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa | 上出哲広 研究室 | 詳細 |
| Towards hierarchical probabilistic CTL model checking: Theoretical foundations | 上出哲広 研究室 | 詳細 |
| Towards locative inconsistency-tolerant hierarchical probabilistic CTL model checking: Survey and future work | 上出哲広 研究室 | 詳細 |
| Two-stage Deep Neural Network for General Object Detection | 荒井正之 研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| Neural Feature Embedding for User Response Prediction in Real-Time Bidding | 荒井正之 研究室 | 詳細 |
| An Optical System for Monitoring Urine Components for Home Healthcare - Accuracy Assessment Using Urine from Multiple Diabetic Subjects | 小川充洋 研究室 | 詳細 |
| Physiological Measurement in Virtual Reality Contents Watching; Photoplethysmograph Embedded in 3D VR GamingHeadset | 小川充洋 研究室 | 詳細 |
| Logics with definitional reflection rules | 上出哲広 研究室 | 詳細 |
| Embedding from multilattice logic into classical logic and vice versa | 上出哲広 研究室 | 詳細 |
| Phase semantics for multilattice formalism | 上出哲広 研究室 | 詳細 |
| Extending ideal paraconsistent four-valued logic | 上出哲広 研究室 | 詳細 |
| Natural deduction for connexive paraconsistent quantum logic | 上出哲広 研究室 | 詳細 |
| Modal multilattice logic | 上出哲広 研究室 | 詳細 |
| An extended first-order Belnap-Dunn logic with classical negation | 上出哲広 研究室 | 詳細 |
| Logics and translations for hierarchical model checking | 上出哲広 研究室 | 詳細 |
| Emotion category mapping to emotional space by cross-corpus emotion labeling | 有本泰子 研究室 | 詳細 |
| General Introduction of Our Recent Research | 荒井正之 研究室 | 詳細 |
| A Two-Stage Training Deep Neural Network For Small Pedestrian Detection | 荒井正之 研究室 | 詳細 |
| Grinding of Difficult-to-Machine Materials for Rolls using Metal bonded CBN wheel | 蓮田裕一 研究室 | 詳細 |
| Physiological Measurements on a Gaming Virtual Reality Headset Using Photoplethysmography; A preliminary attempt at incorporating physiological measurement with gaming | 小川充洋 研究室 | 詳細 |
| Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic | 上出哲広 研究室 | 詳細 |
| Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning | 上出哲広 研究室 | 詳細 |
| Paraconsistent double negations as classical and intuitionistic negations | 上出哲広 研究室 | 詳細 |
| Kripke Completeness of bi-intuitionistic multilattice logic and its connexive variant | 上出哲広 研究室 | 詳細 |
| 変調光と位相検波器を用いたモジュール内セル電圧の非接触推定 | 小林靖之 研究室 | 詳細 |
| Decidable temporal and sequential relevant logics | 上出哲広 研究室 | 詳細 |
| Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work | 上出哲広 研究室 | 詳細 |
| Logics and translations for inconsistency-tolerant model checking | 上出哲広 研究室 | 詳細 |
| System Architecture and Predictive Experiment for an Automatic Learning Support Function on Classroom Response Systems | 水谷晃三 研究室 | 詳細 |
| Contactless Estimation of a Solar Cell Voltage in a Module Using Modulated Light and a Phase Detector | 小林靖之 研究室 | 詳細 |
| 感情音声コーパス共通化のための新たな感情ラベル推定における既存感情ラベル併用の効果 | 有本泰子 研究室 | 詳細 |
| 題名 | 研究室 | 内容 |
|---|---|---|
| Do Silicon Ultrasonic Transducers Dream of Becoming Mobile Tactile Display? | 近藤直樹 研究室 | 詳細 |
| Automatic Modeling of Japanese Ancient Architectures | 近藤直樹 研究室 | 詳細 |
| Evaluation of Versatile English Learning System using Webpages as Learning Materials | 荒井正之 研究室 | 詳細 |
| Learning Support Systems for Novice Programmers | 荒井正之 研究室 | 詳細 |
| 分散表現と神経力学系のダイナミクスに基づく手の行動推定 Estimation of Hand Motions Based on Distributed Representations and Neurodynamics | 山根健 研究室 | 詳細 |
| Effects of Numerical Errors on Sample Mahalanobis Distances | 小林靖之 研究室 | 詳細 |
| A Corrector for the Sample Mahalanobis Distance Free from Estimating the Population Eigenvalues of Covariance Matrix | 小林靖之 研究室 | 詳細 |
| 標本マハラノビス距離の識別性能改善に関する研究 | 小林靖之 研究室 | 詳細 |
| Bunched sequential information | 上出哲広 研究室 | 詳細 |
| A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics | 上出哲広 研究室 | 詳細 |
| Method for combining paraconsistency and sequentiality in temporal reasoning | 上出哲広 研究室 | 詳細 |
| Completeness of connexive Heyting-Brouwer logic | 上出哲広 研究室 | 詳細 |
| Paraconsistent double negation as a modal operator | 上出哲広 研究室 | 詳細 |
| Cut-free systems for restricted bi-intuitionistic logic and its connexive extension | 上出哲広 研究室 | 詳細 |
| Paraconsistent double negation that can simulate classical negation | 上出哲広 研究室 | 詳細 |
| Intuitionistic De Morgan verification and falsification logics | 上出哲広 研究室 | 詳細 |
| Duality in some intuitionistic paraconsistent logics | 上出哲広 研究室 | 詳細 |
| Logics with definitional reflection rules | 上出哲広 研究室 | 詳細 |
| Embedding from multilattice logic into classical logic and vice versa | 上出哲広 研究室 | 詳細 |
| Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic | 上出哲広 研究室 | 詳細 |
| Proof theory of paraconsistent quantum logic | 上出哲広 研究室 | 詳細 |
| Development of an Optical System for Multi-Component Analysis of Urine for Home Healthcare -Reduction of the Number of Wavelength for Concentration Estimation- | 小川充洋 研究室 | 詳細 |
| Our Developed Pattern Recognition Systems | 荒井正之 研究室 | 詳細 |
| Network Protocol Visualization Tools | 荒井正之 研究室 | 詳細 |
| 口頭発表に関する座長のセッション報告?セッション２「陸域海域の汚染」 | 飽本一裕 研究室 | 詳細 |
| 福島県内の空間線量率監視システムの変遷と課題－可搬型モニタリングポストを中心に－ | 飽本一裕 研究室 | 詳細 |
| 福島の放射性ダストと関連現象 | 飽本一裕 研究室 | 詳細 |
| Temporal Variations of Air Dose Rates in East Fukushima during Japanese Fiscal Years 2012&2013 | 飽本一裕 研究室 | 詳細 |
招待講演
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| ［招待講演］CMOSを?いたスピン量?ビット読み出し単電?回路シミュレーション | 電?情報通信学会 シリコン材料?デバイス研究会（SDM） | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| (Invited) Theoretical study on spin qubit integration based on conventional transistors | 11TH WORKSHOP ON SEMICONDUCTOR/SUPERCONDUCTOR QUANTUM COHERENCE EFFECT AND QUANTUM INFORMATION | 棚本哲史研究室 | 詳細 |
| (Invited) Silicon Quantum Annealing Machines Using Conventional CMOS Devices | IEEE EDS Electron Devices Technology and Manufacturing (EDTM) conference 2022 | 棚本哲史研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 【学術会議招待講演】Inconsistency-tolerant fuzzy description logics | The 6th International Conference on Fuzzy Systems and Data Mining (FSDM 2020) | 上出哲広研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 【招待講演】汎?メモリを利?した量?アニーリング機械の提案 | 電?情報通信学会 シリコン材料?デバイス研究会 (SDM) | 棚本哲史研究室 | 詳細 |
| 【学術会議招待講演】Logical foundation of locative inconsistency-tolerant hierarchical probabilistic model checking | The 5th International Conference on Fuzzy Systems and Data Mining (FSDM 2019) | 上出哲広研究室 | 詳細 |
| 【学術会議招待講演】Extending Probabilistic Model Checking | The 3rd International Conference on Software and e-Business (ICSEB 2019) | 上出哲広 研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 【学術会議招待講演】 Challenges of Building an Authentic Emotional Speech Corpus of Spontaneous Japanese Dialog | Special Speech Session in The International Conference on Language Resources and Evaluation (LREC2018) | 有本泰子研究室 | 詳細 |
| 【学術会議招待講演】 Foundations of hierarchical model checking: Logics, translations, and examples | The 4th International Conference on Fuzzy Systems and Data Mining (FSDM 2018) | 上出哲広 研究室 | 詳細 |
| 【学術会議招待講演】医工芸連携領域における生体計測研究の提案 | 最先端生体計測研究会 | 小川充洋 研究室 | 詳細 |
| 【業界団体講演】表現豊かな音声に対する感情の理解 | 一般社団法人電子情報技術産業協会（JEITA）IT-4012?話し方種別ガイドライン講演会 | 有本泰子 研究室 | 詳細 |
| 【学術会議招待講演】Physiological measurement in living spaces combining with digital games. | 2018 International Conference for Top and Emerging Computer Scientists (IC-TECS 2018) | 小川充洋研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 【学術会議招待講演】 Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality | The 3rd Workshop on connexive logics | 上出哲広研究室 | 詳細 |
| 【学術会議招待講演】 A novel concept of combining VR gaming with physiological measurement aiming to long-termhealth monitoring; another potential of VR headset as physiological measurement basis | 2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017) | 小川充洋研究室 | 詳細 |
| 【受賞】 生体医工学シンポジウム2017?ベストレビューワーアワード | 生体医工学シンポジウム2017 | 小川充洋研究室 | 詳細 |
| 【学術会議招待講演】 感情音声コーパスの構築と利用：いかにして生の感情を対象に研究を行うか | 音声資源活用シンポジウム | 有本泰子研究室 | 詳細 |
| 【学術会議招待講演】 General Introduction of Our Recent Research | 2017 the Second International Workshop on Pattern Recognition (IWPR 2017) | 荒井正之研究室 | 詳細 |
| 【海外大学招待講演】 Computer Vision | Invited Lecture at Universitas Katolik Indonesia Atma Jaya | 荒井正之研究室 | 詳細 |
| 【企業招待講演】 ものづくりの原点と自律型ロボットの開発を通した人材育成 | 株式会社ミツトヨ宇都宮事業所 社員教育講演 | 蓮田裕一研究室 | 詳細 |
| 【学術会議招待講演】 Paraconsistent model checking: Logics, translations and examples | 2017 International Conference on Software and e-Business (ICSEB 2017), Hong Kong, 28-30 December, 2017. | 上出哲広研究室 | 詳細 |
| 【企業招待講演】 「アクティブ?ラーニングで講義ビデオを如何に活用するか？」 | 第8回教育ITソリューションEXPO 出展社による無料公開セミナー (企業名:メディアサイト) | 渡辺博芳研究室 | 詳細 |
| 【企業招待講演】 大学におけるアクティブラーニングと映像活用 | 東通産業主催「アクティブラーニング 映像活用実践セミナー」 | 渡辺博芳研究室 | 詳細 |
| 【私立大学情報協イベントでの講演】 大人数授業での反転授業と協働的授業モデルの取り組み | 私立大学情報教育協会 教育改革FD/ICT理事長?学長等会議 | 渡辺博芳研究室 | 詳細 |
| 【私立大学情報協会機関誌寄稿】 教育?学修支援への取り組み 帝京大学におけるICTを活用した教育?学修支援 ～板橋キャンパスでの取り組み～ | 私立大学情報教育協会機関誌 大学教育と情報 2017年度 No.3（通巻160号） | 渡辺博芳研究室 | 詳細 |
| 演題名 | 学会名 | 研究室 | 内容 |
|---|---|---|---|
| 【学術会議招待講演】 Network Protocol Visualization Tools | 2017 International Conference for Leading and Young Computer Scientists | 荒井正之 研究室 | 詳細 |
| 【学術会議招待講演】 Our Developed Pattern Recognition Systems | 2016 IEEE 7th International Conference on Signal and Information Processing | 荒井正之 研究室 | 詳細 |
| 【企業招待講演】 アクティブ?ラーニングで講義ビデオをいかに活用するか？ | 第7回教育ITソリューションEXPO 出展社による無料公開セミナー | 渡辺博芳 研究室 | 詳細 |
| 【業界団体における研究会招待講演】 新たな教育方法を実現するための産学協同 | 大学ICT推進協議会 教育技術開発部会 第2回研究会 | 渡辺博芳 研究室 | 詳細 |
| 【企業招待講演】 反転授業の実践例と講義映像の活用 | ソニービジネスソリューション主催「次世代教育セミナー 反転授業における映像活用の未来」 | 渡辺博芳 研究室 | 詳細 |
| 【大学?企業共催イベント招待講演】 LMS活用からアクティブラーニングへの展開とラーニングアナリティクスへの期待 | 長崎大学 ICT基盤センター、Blackboard Inc.、アシストマイクロ株式会社主催 「教育ビッグデータの活用に向けて ～Learning Analytics, Adaptive Learningについて考える～」 | 渡辺博芳 研究室 | 詳細 |
| 【大学招待講演】 アクティブラーニング導入の方向性と実践例 | 2016年度宇都宮大学工学部講演会 | 蓮田裕一 研究室 | 詳細 |
| 【企業招待講演】 自律型ロボットの開発を通した人材育成 | 株式会社ミツトヨ宇都宮事業所 社員教育講演 | 蓮田裕一 研究室 | 詳細 |
| 【企業招待講演】 myRIO+TETRIX+LabVIEWの活用事例 | National Instruments Japan株式会社技術セミナー | 蓮田裕一 研究室 | 詳細 |
| 【学術会議招待講演】 New application of physiological measurement and its interpretation; biosignal usage in amusement field | 2016 International Conference on Computational Biology and Biological Engineering (ICCBB 2016) | 小川充洋 研究室 | 詳細 |
| 【業界団体講演】 Biofeedback revisited? ゲームプレイ中の生体情報計測とその解釈への挑戦 | Computer Entertainment Developers Conference 2016 (CEDEC2016) | 小川充洋 研究室 | 詳細 |
| 【学術会議招待講演】 生体光計測の目指す領域 | 第1回 黒潮カンファレンス「異分野融合による創薬研究の前衛を目指して」BEYOND TRANSPORTER | 小川充洋 研究室 | 詳細 |