研究発表 - 猪股 俊光
-
C ソースコード静的解析のための問い合わせ言語 CXmlPyQuery の改良と評価
国内会議 第 19 回情報科学技術フォーラム 口頭(一般)
2020年08月 -
普通列車を対象とした時間制約付き最長経路探索問題の探索法の考察
国内会議 電気学会情報システム研究会 (三菱電機健康保険組合 湯布郷館) 口頭(一般)
2019年05月 -
普通列車を対象にした制約付き最長距離経路探索の考案
国内会議 情報処理学会第80回全国大会 (北海道大学) 口頭(一般)
2018年08月 -
小学生向けロボットプログラミング学習のための 対戦型ボードゲームの考案と実践
国内会議 情報処理学会第 80 回全国大会 口頭(一般)
2018年03月 -
小学生向けCSアンプラグド教材による「ディジタルの世界」の学習の実践
国内会議 情報処理学会第 80 回全国大会 口頭(一般)
2018年03月 -
小学生向けプログラミング教材開発-コンピュータの動きをまねるボードゲーム-
国内会議 情報処理学会第79回全国大会講演論文集 口頭(一般)
2017年03月 -
CUDAによる並行処理のためのデータ転送のスケジューリング手法の提案
国内会議 情報処理学会第79回全国大会 口頭(一般)
2017年03月 -
C#ソースコードの読解支援ツールの開発
国内会議 電気関係学会東北支部連合大会 口頭(一般)
2016年08月 -
ソースコード変更時の影響範囲解析ツールの実装
国内会議 http://souran.iwate-pu.ac.jp/search?m=home&l=ja 口頭(一般)
2016年03月 -
運転者の注視領域抽出のための視線に基づく動的ヒートマップの構築
国内会議 情報処理学会東北支部研究報告 口頭(一般)
2015年02月 -
ソースコード変更時の影響範囲の可視化
国内会議 情報処理学会東北支部研究報告 口頭(一般)
2015年02月 -
前方視認性向上のための先行車両の車体領域の抽出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転時の注視領域抽出のための動的ヒートマップ
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
前方視認性向上のための先行車両の車体領域の抽出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
コードレビューのためのプログラムグラフとその解析法
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転者の視線に基づく注意喚起システムのための人物検出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転時の注視領域抽出のための動的ヒートマップ
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
前方視認性向上のための先行車両の車体領域の抽出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
コードレビューのためのプログラムグラフとその解析法
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転者の視線に基づく注意喚起システムのための人物検出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転時の注視領域抽出のための動的ヒートマップ
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
前方視認性向上のための先行車両の車体領域の抽出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
コードレビューのためのプログラムグラフとその解析法
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
運転者の視線に基づく注意喚起システムのための人物検出
学会 電子情報通信学会2014年総合大会 口頭(一般)
2014年03月 -
データ解析・処理場所を自律的に変更するセンサシステムの一検討
学会 情報処理学会シンポジウム 口頭(一般)
2013年10月 -
データ解析・処理場所を自律的に変更するセンサシステムの一検討
学会 情報処理学会シンポジウム 口頭(一般)
2013年10月 -
プログラムの関数・変数関係の一表現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
コードレビュー支援システムのための関数・変数関係の可視化実現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
コードレビュー支援システムのための関数・変数関係の可視化実現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
データ解析・処理場所を自律的に変更するセンサシステムの一検討
学会 情報処理学会シンポジウム 口頭(一般)
2013年10月 -
プログラムの関数・変数関係の一表現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
コードレビュー支援システムのための関数・変数関係の可視化実現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
データ解析・処理場所を自律的に変更するセンサシステムの一検討
学会 情報処理学会シンポジウム 口頭(一般)
2013年10月 -
プログラムの関数・変数関係の一表現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
コードレビュー支援システムのための関数・変数関係の可視化実現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
データ解析・処理場所を自律的に変更するセンサシステムの一検討
学会 情報処理学会シンポジウム 口頭(一般)
2013年10月 -
プログラムの関数・変数関係の一表現法
学会 電子情報通信学会信学技法 口頭(一般)
2013年10月 -
モデル検査を用いたペトリネットの解析の一手法
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
不揮発性ネットワークのための順序制御機能の検討
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
モデル検査を用いたペトリネットの解析の一手法
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
不揮発性ネットワークのための順序制御機能の検討
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
モデル検査を用いたペトリネットの解析の一手法
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
不揮発性ネットワークのための順序制御機能の検討
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
モデル検査を用いたペトリネットの解析の一手法
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
不揮発性ネットワークのための順序制御機能の検討
学会 電気関係学会東北支部連合大会 口頭(一般)
2013年08月 -
Bluetooth信号強度を用いた屋内位置測位手法の一検討
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
動作の類似性を利用した動作推定基準構築手法の一検討
学会 情報処理学会第75回全国大会 口頭(一般)
2013年03月 -
ペダル可視化装置のためのペダル踏み間違い危険度の提示
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
Bluetooth信号強度を用いた屋内位置測位手法の一検討
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
動作の類似性を利用した動作推定基準構築手法の一検討
学会 情報処理学会第75回全国大会 口頭(一般)
2013年03月 -
ペダル可視化装置のためのペダル踏み間違い危険度の提示
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
Bluetooth信号強度を用いた屋内位置測位手法の一検討
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
動作の類似性を利用した動作推定基準構築手法の一検討
学会 情報処理学会第75回全国大会 口頭(一般)
2013年03月 -
ペダル可視化装置のためのペダル踏み間違い危険度の提示
学会 電子情報通信学会2013年総合大会 口頭(一般)
2013年03月 -
モデルベース開発におけるモデリングと解析に関する考察
学会 電子情報通信学会信学技法 口頭(一般)
2012年10月 -
モデルベース開発におけるモデリングと解析に関する考察
学会 電子情報通信学会信学技法 口頭(一般)
2012年10月 -
モデルベース開発におけるモデリングと解析に関する考察
学会 電子情報通信学会信学技法 口頭(一般)
2012年10月 -
パターン照合を用いた対話型静的検査ツールの開発
学会 電子情報通信学会2012年ソサイエティ大会 口頭(一般)
2012年08月 -
組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式
学会 FIT2012 口頭(一般)
2012年08月 -
組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式
学会 FIT2012 口頭(一般)
2012年08月 -
パターン照合を用いた対話型静的検査ツールの開発
学会 電子情報通信学会2012年ソサイエティ大会 口頭(一般)
2012年08月 -
組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式
学会 FIT2012 口頭(一般)
2012年08月 -
パターン照合を用いた対話型静的検査ツールの開発
学会 電子情報通信学会2012年ソサイエティ大会 口頭(一般)
2012年08月 -
組込みソフトウェア向けコーディング規約チェッカのためのカスタマイズの一方式
学会 FIT2012 口頭(一般)
2012年08月 -
パターン照合を用いた対話型静的検査ツールの開発
学会 電子情報通信学会2012年総合大会 口頭(一般)
2012年03月 -
車々間通信における情報伝播の不連続性を考慮した制動力保持制御
学会 情報処理学会第74回全国大会 口頭(一般)
2012年03月 -
ロボット制御ソフトウェアのペトリネット解析ツールによる検証
学会 電子情報通信学会2012年総合大会 口頭(一般)
2012年03月 -
パターン照合を用いた対話型静的検査ツールの開発
学会 電子情報通信学会2012年総合大会 口頭(一般)
2012年03月 -
車々間通信における情報伝播の不連続性を考慮した制動力保持制御
学会 情報処理学会第74回全国大会 口頭(一般)
2012年03月 -
ロボット制御ソフトウェアのペトリネット解析ツールによる検証
学会 電子情報通信学会2012年総合大会 口頭(一般)
2012年03月 -
動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
学会 情報処理学会DSP研究会 口頭(一般)
2011年11月 -
動作推定のための個人適応性を考慮したセンサデータ処理手法の一検討
学会 情報処理学会DSP研究会 口頭(一般)
2011年11月 -
XML形式を用いたC言語用静的解析ツールの開発
学会 情報処理学会第73回全国大会 口頭(一般)
2011年03月 -
ネットワーク負荷を考慮したセンサデータ処理手法の応用システムの一検討
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
相互監視による高信頼度分散システムの実現―監視信号の発生方式と障害発生手法―
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
既存照明設備を利用した可視光通信による位置情報提供システム
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
XML形式を用いたC言語用静的解析ツールの開発
学会 情報処理学会第73回全国大会 口頭(一般)
2011年03月 -
ネットワーク負荷を考慮したセンサデータ処理手法の応用システムの一検討
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
相互監視による高信頼度分散システムの実現―監視信号の発生方式と障害発生手法―
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
既存照明設備を利用した可視光通信による位置情報提供システム
学会 電子情報通信学会2011年総合大会 口頭(一般)
2011年03月 -
環境の差異を考慮したセンサデータ処理手法の一検討
学会 情報処理学会DSP研究会 口頭(一般)
2010年11月 -
環境の差異を考慮したセンサデータ処理手法の一検討
学会 情報処理学会DSP研究会 口頭(一般)
2010年11月 -
教育用プロセッサSEP-Xの設計とシミュレータの製作
学会 電子情報通信学会2010年総合大会 口頭(一般)
2010年03月 -
ネットワーク負荷を考慮したセンサデータ処理の一手法
学会 情報処理学会創立50周年(第72回)全国大会 口頭(一般)
2010年03月 -
制動力保持機構を持つブレーキシステムにおける可視光通信を用いた保持制御
学会 情報処理学会創立50周年(第72回)全国大会 口頭(一般)
2010年03月 -
運転者の操作負荷を軽減した駐車場における車両探索システム
学会 情報処理学会創立50周年(第72回)全国大会 口頭(一般)
2010年03月 -
ソフトウェア製品の不具合原因コードパターン検出のための静的解析法
国内会議 電子情報通信学会2008総合大会 (北九州学術研究都市) 口頭(一般)
2008年03月 -
予防接種支援システムにおける接種計画作成法に関する研究
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
接触型ICカード用セキュアプロセッサSEP-7の開発
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
ホームページ改ざん検知システムにおけるコンテンツ更新状況に基づく更新作業効率化
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
ソフトウェアの不具合箇所のパターン群を用いた検出法
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
コンピュータアーキテクチャ学習のためのCPUシミュレータの開発と評価
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
制動力保持機構を持つブレーキ制御システムのための自動起動手法の実車試験による評価
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
サイドチャネル攻撃に対するセキュアプロセッサSEP-6の耐タンパ性の評価
国内会議 第70回情報処理学会全国大会 (筑波大学) 口頭(一般)
2008年03月 -
ソフトウェア製品の不具合原因となるコードのパターンを用いた検証手法
国内会議 第4回システム検証の科学技術シンポジウム 口頭(一般)
2007年11月 -
iP@TROL における管理者支援機能の拡張
学会 電子情報通信学会 2007 年総合大会 口頭(一般)
2007年03月 -
コンピュータアーキテクチャ学習のためのCPU シミュレータの開発
学会 情報処理学会第69回全国大会 口頭(一般)
2007年03月 -
ホームページ改ざん検知システムにおける更新作業効率化のための一手法
学会 情報処理学会第69回全国大会 口頭(一般)
2007年03月 -
携帯電話を利用した予防接種情報提供システムの評価
学会 情報処理学会第69回全国大会 口頭(一般)
2007年03月 -
制動力保持機構をもつブレーキシステムの自動的起動制御
学会 電子情報通信学会 2007 年総合大会 口頭(一般)
2007年03月 -
電子母子健康手帳システムの構想 - 予防接種情報提供システムの実装と評価
学会 電子情報通信学会 2007 年総合大会 口頭(一般)
2007年03月 -
uCLinux 上におけるマルチプロセスアプリケーションの実装手法
学会 電子情報通信学会 2007 年総合大会 口頭(一般)
2007年03月 -
非接触ICカード用セキュアプロセッサSEP-6 の開発
学会 電子情報通信学会 VLSI 設計技術 研究会 口頭(一般)
2006年11月 -
組込みソフトものづくり塾の取り組み
学会 第8回組込みシステム技術に関するサマーワークショップ 口頭(一般)
2006年07月 -
ハートビートによる障害検知方式に関する考察
学会 情報処理学会 第68回全国大会, 5J-8 口頭(一般)
2006年03月 -
個人情報の入力表示専用端末を用いた暗号化個人情報保護システムの開発
学会 電子情報通信学会2006年総合大会, ISS-P-36 口頭(一般)
2006年03月 -
多目的利用が可能なセキュアプロセッサの開発
学会 電子情報通信学会2006年総合大会, ISS-P-35 口頭(一般)
2006年03月 -
セキュアプロセッサSEP-6 における指紋認証機構の実装
学会 電子情報通信学会2006年総合大会, ISS-P-61 口頭(一般)
2006年03月 -
携帯電話を用いた予防接種支援システムのにおける接種情報提供法
学会 情報処理学会 第68回全国大会, 7U-2 口頭(一般)
2006年03月 -
ホームページ改ざん検知システムのための管理者支援
学会 情報処理学会 第68回全国大会, 6S-3 口頭(一般)
2006年03月 -
携帯電話を用いた予防接種支援システムの開発
学会 電子情報通信学会MEとサイバネティックス研究会,MBE2005-93 口頭(一般)
2005年12月 -
再利用可能なコード設計によるクロックレベルシミュレータの開発
学会 電子情報通信学会 ソフトウェアサイエンス研究会, SS2005-55 口頭(一般)
2005年12月 -
セキュアプロセッサの開発
学会 電子情報通信学会2005年総合大会,学生ポスターセッション D-SP-17 口頭(一般)
2005年03月 -
セキュアプロセッサ SEP-5 用シミュレータの開発
学会 電子情報通信学会2005年総合大会,D-6-6 口頭(一般)
2005年03月 -
相互監視による障害検知システムにおけるハートビート自動挿入
学会 電子情報通信学会2005年総合大会,A-9-2 口頭(一般)
2005年03月 -
住基カードを用いた住民認証と匿名性を両立させる電子掲示板の開発
学会 電子情報通信学会2005年総合大会,学生ポスターセッション D-SP-39 口頭(一般)
2005年03月 -
インターネットにおける動的データ改竄検知方式
学会 電子情報通信学会信学技法ISEC2004-101 口頭(一般)
2004年12月 -
分散システムにおける障害検知方式
学会 電子情報通信学会信学技法 R2004-51 口頭(一般)
2004年12月 -
セキュアプロセッサの開発
学会 情処研報 2004-ARC-160 口頭(一般)
2004年11月 -
RSA暗号の秘密鍵保護機能と暗号計算機能をもつICカード用汎用プロセッサの設計
学会 電子情報通信学会信学技法 口頭(一般)
2003年12月 -
相互監視による高信頼度分散システム(ハートビート発生方式)
学会 電子情報通信学会2003年ソサイエティ大会講演論文集 口頭(一般)
2003年09月 -
線形論理により構成されるペトリネットを用いた仕様検証の一手法
学会 電子情報通信学会総合大会 口頭(一般)
2002年03月