高橋 直久


アセンブラプログラミング演習におけるチャンクとプログラムスライスに基づく答案プログラム分析システム
立岩 佑一郎 吉田 裕一 山本 大介 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/06/01
Vol. J96-D  No. 6  pp. 1513-1525
論文種別:  論文
専門分野: 教育工学
キーワード: 
アセンブラプログラミングプログラムスライスチャンクデバッグ支援
 あらまし | 本文:PDF(960.2KB)

高機能仮想ハブによる異種構成・分散配置型仮想マシンネットワークの実現とネットワーク構築演習への応用
立岩 佑一郎 岩崎 智弘 安田 孝美 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2011/05/01
Vol. J94-D  No. 5  pp. 791-802
論文種別:  特集論文 (サイバーワールド論文特集)
専門分野: 情報ネットワーク
キーワード: 
仮想マシン仮想マシンネットワークネットワーク構築演習オーバレイネットワーク
 あらまし | 本文:PDF(1.1MB)

道なり道路選別手法に基づくFisheye Viewマップ総描手法
山本 大介 小関 章太郎 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/10/01
Vol. J93-D  No. 10  pp. 1914-1925
論文種別:  特集論文 (システム開発論文特集)
専門分野: Web情報システム
キーワード: 
WebマップサービスFisheye ViewsFocus+Glue+Context
 あらまし | 本文:PDF(883.5KB)

モバイルマップのための意味包含関係に基づく複合アイコン生成方式
谷口 和也 山本 大介 北神 慎司 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/03/01
Vol. J93-D  No. 3  pp. 170-179
論文種別:  特集論文 (データ工学論文特集)
専門分野: 情報検索 Web情報システム
キーワード: 
歩行者用モバイルマップランドマークアイコンWebサービス
 あらまし | 本文:PDF(574.6KB)

動的アドホックネットワークでの効率の良い統合・分離が可能な クラスタネットワーク構築アルゴリズム
宮永 慎太郎 片山 喜章 和田 幸一 高橋 直久 小林 基成 森田 正範 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/02/01
Vol. J91-D  No. 2  pp. 389-401
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
分散アルゴリズムセンサネットワーククラスタクラスタの統合クラスタの分割
 あらまし | 本文:PDF(449.5KB)

構造誤り検出機能を有するアセンブラプログラミング演習支援システムの実現と評価
宮地 恵佑 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/02/01
Vol. J91-D  No. 2  pp. 280-292
論文種別:  特集論文 (教育システムにおけるプラットホームとコンテンツ開発論文特集)
専門分野: 
キーワード: 
e-ラーニングアセンブラプログラミングプログラム解析誤り検出
 あらまし | 本文:PDF(1001.4KB)

任意の単一リンク故障を考慮した生成木構成強安定プロトコル
片山 喜章 長谷川 敏之 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/11/01
Vol. J88-D1  No. 11  pp. 1669-1678
論文種別:  特集論文 (ユビキタス社会構築のためのネットワークに対する理論とその応用論文小特集)
専門分野: アルゴリズム
キーワード: 
自己安定強安定リンク故障生成木アドホックネットワーク
 あらまし | 本文:PDF(260.8KB)

ポリシリフレクタを用いたネットワークアクセス検査機能の設定検証システムの実現と評価
尾池 健二 片山 喜章 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/11/01
Vol. J88-D1  No. 11  pp. 1622-1633
論文種別:  特集論文 (ユビキタス社会構築のためのネットワークに対する理論とその応用論文小特集)
専門分野: セキュリティ管理
キーワード: 
ネットワークセキュリティネットワーク診断セキュリティポリシ設定検証システム
 あらまし | 本文:PDF(773.8KB)

プログラミング学習のためのQAサイクル―受講者の習得度に応じた問題自動提示メカニズム―
中島 秀樹 高橋 直久 細川 宜秀 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/02/01
Vol. J88-D1  No. 2  pp. 439-450
論文種別:  特集論文 (システム開発論文特集)
専門分野: 教育学習支援システム
キーワード: 
e-Learning演習設計言語プログラミング学習学習支援システム
 あらまし | 本文:PDF(553KB)

リンクレイヤプロトコルMAPOS準拠の高速スイッチCOREswitch
小倉 毅 川野 哲生 清水 健司 丸山 充 高橋 直久 
誌名:   電子情報通信学会論文誌 B
発行日: 2003/08/01
Vol. J86-B  No. 8  pp. 1533-1543
論文種別:  特集論文 (インターネットアーキテクチャ技術論文特集)
専門分野: 伝送/中継/トランスポート技術
キーワード: 
インターネットリンクレイヤプロトコルMAPOSスイッチ広帯域映像IP転送システム
 あらまし | 本文:PDF(1.1MB)

経路依存フローグラフを用いた意味構成管理モデル
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/11/25
Vol. J80-D1  No. 11  pp. 898-906
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラムスライシング実行不可能経路依存グラフデータフロー計算モデルプログラム開発
 あらまし | 本文:PDF(568.9KB)

インターネットQoSビジュアライザの設計と実現
福田 晴元 小野 諭 高橋 直久 
誌名:   電子情報通信学会論文誌 B
発行日: 1997/06/25
Vol. J80-B1  No. 6  pp. 438-446
論文種別:  特集論文 (マルチメディアネットワーク/サービスと品質論文特集)
専門分野: インターネット
キーワード: 
コンピュータネットワークネットワーク管理クオリティーコントロールQuality of Service広域時計同期
 あらまし | 本文:PDF(697.8KB)

プレスブルガー算術を用いたInfeasible Pathの検出
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 269-281
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
実行不可能経路プレスブルガー算術プログラム解析充足判定問題定理自動証明
 あらまし | 本文:PDF(909KB)

経路依存フローグラフのデータフロー計算に基づくプログラムスライス作成法
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D1  No. 11  pp. 954-965
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
プログラム解析依存グラフプログラムスライス手続き型プログラムデータフロー型計算モデル
 あらまし | 本文:PDF(860KB)

経路依存フローグラフを用いたプログラムスライシング
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/07/25
Vol. J78-D1  No. 7  pp. 607-621
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プログラム解析依存グラフプログラムスライス手続き型プログラムデータフロー型計算モデル
 あらまし | 本文:PDF(1020.4KB)

経路依存フローグラフを用いたInfeasible Path検出法
直井 邦彰 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/08/25
Vol. J76-D1  No. 8  pp. 429-439
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
計算経路記号実行データフロー型計算モデル抽象実行プログラム解析
 あらまし | 本文:PDF(745.3KB)

関数型プログラムの宣言的デバッグシステムDDS
高橋 直久 小野 諭 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/11/25
Vol. J72-D1  No. 11  pp. 779-788
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(972.6KB)

関数型言語における要求駆動型評価の並列処理向き最適化
小野 諭 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/02/25
Vol. J70-D  No. 2  pp. 259-268
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(924.7KB)

再帰関数系における依存属性集合の計算法
小野 諭 高橋 直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/05/25
Vol. J69-D  No. 5  pp. 714-723
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(795.7KB)

超高速科学技術計算向きデータフロープロセッサアレイ計算機のアーキテクチャ
高橋 直久 雨宮 真人 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/01/25
Vol. J67-D  No. 1  pp. 62-69
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(628KB)