研究活動
研究活動

情報電子工学科の研究活動

学会発表

演題名 学会名 研究室 内容
アクセシビリティ評価指標に基づいたモバイルオーディオゲームの開発(第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. 小林靖之研究室 詳細

演題名 学会名 研究室 内容
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回数理モデル化と問題解決研究会 上出哲広
研究室
詳細
福島第一原発の地震被害と1号機の解析 環境放射能除染学会 飽本一裕
研究室
詳細
ビニールハウス内での農薬散布による健康被害を防ぐロボットの設計と開発 科学技術におけるロボット教育シンポジウム 蓮田裕一
研究室
詳細
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 東福島における放射性物質の飛散による2次放射能汚染 日本物理学会年会 飽本一裕
研究室
詳細
教員間での共有を目的とした授業デザインの記述方法の検討 情報処理学会
全国大会
高井久美子
研究室
詳細
反転授業の分類に関する検討 教育システム情報学会
全国大会
高井久美子
研究室
詳細
プロジェクト管理の手法を用いたPBLのためのコミュニケーション支援ツールの開発 情報処理学会
全国大会
高井久美子
研究室
詳細
上方に設置したセンサによる指文字認識方法の研究 情報処理学会
全国大会
水谷晃三
研究室
詳細
PBL におけるメンバの役割を考慮したグループ自動編成方法の研究 情報処理学会
全国大会
水谷晃三
研究室
詳細
複数人の利用者の手の動きに追従するユーザインタフェースの研究 情報処理学会
全国大会
水谷晃三
研究室
詳細

論文発表

題名 研究室 内容
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 小林靖之研究室 詳細

題名 研究室 内容
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 上出哲広 研究室 詳細
地方都市若年層を対象とした自動車利用抑制への動機づけにおけるメディア活用効果の分析 眞坂美江子 研究室 詳細

題名 研究室 内容
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 荒井正之
研究室
詳細
口頭発表に関する座長のセッション報告・セッション2「陸域海域の汚染」 飽本一裕
研究室
詳細
福島県内の空間線量率監視システムの変遷と課題-可搬型モニタリングポストを中心に- 飽本一裕
研究室
詳細
福島の放射性ダストと関連現象 飽本一裕
研究室
詳細
Temporal Variations of Air Dose Rates in East Fukushima during Japanese Fiscal Years 2012&2013 飽本一裕
研究室
詳細

年度 題名 研究室 内容
2007 「物語」導入型教材コンテンツを活用したセルフラーニング型授業 -オブジェクト指向プログラミング教育における実践例- 高井久美子研究室 詳細
アセンブラプログラミング演習におけるセルフラーニング型の補習と人的支援による学習活動の促進 高井久美子研究室 詳細
2011 個別学習と協調学習を組み合わせた授業例 -オブジェクト指向モデリング導入教育における設計と実践- 高井久美子研究室 詳細
2015 「情報基礎」におけるビデオ講義を用いた反転授業の評価 渡辺博芳研究室 詳細
「情報基礎」におけるビデオ講義を用いた反転授業の評価 高井久美子研究室 詳細

招待講演

演題名 学会名 研究室 内容
【招待講演】汎⽤メモリを利⽤した量⼦アニーリング機械の提案 電⼦情報通信学会 シリコン材料・デバイス研究会 (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 小川充洋
研究室
詳細