https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=8730
ipsjX000009
ソフトウェア科学・工学
情報学広場:情報処理学会電子図書館
2016-06-20T16:16:56+09:00
2016-05-18T11:25:54+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161587&itemNo=1
神保, 秀司
神保秀司
完全グラフのオイラー回路の性質の証明への計算機の活用
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161588&itemNo=1
金, 鎔煥
金鎔煥
増澤, 利光
増澤利光
仮想グリッドネットワークにおけるスタイナー木生成のための自律分散アルゴリズムに関する研究
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161589&itemNo=1
渡邊, 悠介
渡邊悠介
髙谷, 眞弓
髙谷眞弓
山村, 明弘
山村明弘
容量制約なし施設配置問題に適したABC アルゴリズムの適応度の考察
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161590&itemNo=1
出口, 洋三
出口洋三
豊泉, 正男
豊泉正男
整数行列の正則性を簡約行列を用いて明確に判定する方法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161591&itemNo=1
笠井, 裕之
笠井裕之
Bamdev, Mishra
BamdevMishra
Riemannian preconditioning for tensor completion
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161592&itemNo=1
高梨, 勝敏
高梨勝敏
菊地, 大介
菊地大介
齋藤, 邦夫
齋藤邦夫
手塚, 大
手塚大
関数型言語SML#による開発支援のためのEclipseプラグインの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161593&itemNo=1
菅原, 直樹
菅原直樹
三浦, 昭浩
三浦昭浩
古澤, 康一
古澤康一
ソフトウェア群の差分アップデート手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161594&itemNo=1
横森, 励士
横森励士
竹仲, 孝盛
竹仲孝盛
スプリングアルゴリズムを用いたソフトウェア部品グラフの視覚化手法について
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161595&itemNo=1
安藤, 崇央
安藤崇央
宮本, 裕也
宮本裕也
谷津, 弘一
谷津弘一
久住, 憲嗣
久住憲嗣
福田, 晃
福田晃
道浦, 康貴
道浦康貴
酒見, 慶太
酒見慶太
松本, 充広
松本充広
SysMLステートマシン図から簡素なSPINモデルへの変換手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161596&itemNo=1
楢崎, 修二
楢崎修二
Minisatとの比較によるHaskell SATソルバーの高速化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161597&itemNo=1
伊藤, 夏青
伊藤夏青
秋元, 賢佑
秋元賢佑
小布施, 聡
小布施聡
菅田, 徹也
菅田徹也
吉本, 直哉
吉本直哉
玉越, 大資
玉越大資
嶋津, 恵子
嶋津恵子
システムズエンジニアリングの効果検証:学生ロケットプロジェクトへの導入実験
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161598&itemNo=1
岡野, 道太郎
岡野道太郎
中谷, 多哉子
中谷多哉子
要求獲得過程の観測と評価に関するツールの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161599&itemNo=1
増田, 聡
増田聡
松尾谷, 徹
松尾谷徹
津田, 和彦
津田和彦
自然言語処理を利用した要求仕様からのUTPモデル抽出方法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161600&itemNo=1
佐藤, 慎一
佐藤慎一
事例ベース意思決定理論に基づくゴール分解の数理モデル構築構想
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161601&itemNo=1
濱野, 義満
濱野義満
宗像, 一樹
宗像一樹
鈴木, 庸介
鈴木庸介
野田, 恵子
野田恵子
エンタプライズ系業務システムの仕様をVDM++で記述する設計手法の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161602&itemNo=1
山田, 隆弘
山田隆弘
形式的仕様を段階的に作成するためのシステムのモデル化技法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161603&itemNo=1
三浦, 政司
三浦政司
南部, 陽介
南部陽介
吉澤, 良典
吉澤良典
萩原, 利士成
萩原利士成
木村, 俊介
木村俊介
弓山, 彬
弓山彬
五十嵐, 智
五十嵐智
視覚表現と協働性を重視したWEBベースなシステムモデリングツール
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161604&itemNo=1
佐藤, 秀昭
佐藤秀昭
伊豆倉, さやか
伊豆倉さやか
細野, 繁
細野繁
ドメイン共通制約の構造化方法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161605&itemNo=1
草刈, 敏幸
草刈敏幸
清水, 理恵子
清水理恵子
内門, 隆治
内門隆治
河地, 真行
河地真行
中村, 早希
中村早希
小林, 義行
小林義行
間瀬, 久雄
間瀬久雄
オフショア開発におけるドキュメント支援技術の効果
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161606&itemNo=1
引地, 一将
引地一将
北村, 俊介
北村俊介
山口, 潔
山口潔
UIデザイン合意のためのモックアップ活用ガイドラインの構築
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161607&itemNo=1
佐藤, 賢
佐藤賢
青山, 幹雄
青山幹雄
業務分析とデータ分析を統合した業務システムマイグレーション方法の提案と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161608&itemNo=1
田中, 裕大
田中裕大
加瀬, 直樹
加瀬直樹
夏目, 珠規子
夏目珠規子
市田, 憲明
市田憲明
ナイブベイズを用いたソフトウェア不具合の修正者自動割り当て手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161609&itemNo=1
水野, 貴之
水野貴之
秋葉, 拓哉
秋葉拓哉
新井, 優太
新井優太
家富, 洋
家富洋
伊藤, 亮人
伊藤亮人
セミ・ローカルな情報に基づくコミュニティ抽出とコミュニティ構造の動的変化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161610&itemNo=1
佐藤, 彰洋
佐藤彰洋
政府統計を用いた国内観光状況の網羅的分析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161611&itemNo=1
佐藤, 彰洋
佐藤彰洋
榎峠, 弘樹
榎峠弘樹
Tae-Seok, Jang
Tae-SeokJang
澤井, 秀文
澤井秀文
経済社会データおよび環境データを用いた空間評価指標の大規模計算
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161612&itemNo=1
宮坂, 純也
宮坂純也
穴田, 一
穴田一
投資家の収益性に基づく意思決定が株式市場に与える影響
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161613&itemNo=1
高野, 祐一
高野祐一
石井, 信明
石井信明
村木, 正昭
村木正昭
費用見積のための資源配分を考慮した競争入札戦略
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161614&itemNo=1
磯崎, 敬志
磯崎敬志
穴田, 一
穴田一
改良型Memoryと解が与えるインパクトを用いたMAX-MIN Ant System
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161615&itemNo=1
黄, 双全
黄双全
宗形, 聡
宗形聡
浦邊, 信太郎
浦邊信太郎
製造KPIシミュレーションを用いた標準時間の適正化技術
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161616&itemNo=1
浜中, 雅俊
浜中雅俊
塩見, 英樹
塩見英樹
ドローン飛行網の最適設計手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161617&itemNo=1
大塚, 寛
大塚寛
山中, 亮
山中亮
佐藤, 祐亮
佐藤祐亮
サッカーの攻守推移モデルに基づくパス抽出の評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161618&itemNo=1
夜久, 竹夫
夜久竹夫
横田, 健
横田健
荒野, 純
荒野純
宮寺, 庸造
宮寺庸造
能登, 瞳
能登瞳
鈴木, 智紗子
鈴木智紗子
湯浅, 日夏子
湯浅日夏子
矩形型地形図の三角化手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161619&itemNo=1
青柳, 智裕
青柳智裕
大坪, 紘一
大坪紘一
青柳, 宣生
青柳宣生
有限フレネル変換による関数近似
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161620&itemNo=1
小林, 奎太
小林奎太
黒田, 久泰
黒田久泰
球面上における巡回セールスマン問題ソルバーの開発と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161621&itemNo=1
仁平, 岳志
仁平岳志
松本, 達真
松本達真
平岡, 隆晴
平岡隆晴
豊嶋, 久道
豊嶋久道
方形導波管誘導性ポスト付き共振器の粒子群最適化を用いた設計
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161622&itemNo=1
土屋, 礼徳
土屋礼徳
鈴木, 麗璽
鈴木麗璽
有田, 隆也
有田隆也
資源共有問題における表現型可塑性と個性の多様化に関する進化モデル
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161623&itemNo=1
藤野, 準平
藤野準平
武藤, 敦子
武藤敦子
加藤, 昇平
加藤昇平
森山, 甲一
森山甲一
犬塚, 信博
犬塚信博
アオモンイトトンボの頻度依存選択に関するエージェントベースドモデル
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161624&itemNo=1
秋山, 翔
秋山翔
加藤, 拓貴
加藤拓貴
山口, 拓也
山口拓也
平岡, 隆晴
平岡隆晴
豊嶋, 久道
豊嶋久道
時変パラメータをもつテクニカル指標を用いた取引システムの最適化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161625&itemNo=1
藤原, 紫王里
藤原紫王里
中桐, 斉之
中桐斉之
繰返し囚人のジレンマゲームにおける非報復戦略の可能性
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161626&itemNo=1
小沢, 育実
小沢育実
関, 和広
関和広
関連銘柄同定のための時系列データ類似度尺度の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161627&itemNo=1
三木, 友祐
三木友祐
武藤, 敦子
武藤敦子
森山, 甲一
森山甲一
犬塚, 信博
犬塚信博
友人関係ネットワークを用いたコミュニティの時間推移の分析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161628&itemNo=1
堀脇, 尚人
堀脇尚人
長, 慎也
長慎也
コンフリクトに焦点を当てた新しいバージョン管理システムの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161629&itemNo=1
東, 拓磨
東拓磨
篠埜, 功
篠埜功
C言語プログラムを対象とした盗用検知手法の提案および実装
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161630&itemNo=1
伊藤, 瑠哉
伊藤瑠哉
竹島, 亮
竹島亮
長尾, 確
長尾確
バージョン管理システムと連携したソースコードへのアノテーションによるプログラミング学習支援システム
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161631&itemNo=1
半澤, 順一
半澤順一
佐藤, 喬
佐藤喬
小宮, 常康
小宮常康
類似コード検出に向けた中間言語の視覚化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161632&itemNo=1
下山, 真明
下山真明
寺田, 実
寺田実
丸山, 一貴
丸山一貴
変数の変更履歴を用いたデバッグ支援
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161633&itemNo=1
大竹, 遼
大竹遼
実世界インタフェースのビジュアルプログラミング手法の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161634&itemNo=1
叶野, 雄与
叶野雄与
高田, 眞吾
高田眞吾
Twitterから取得するモバイルアプリケーションの保守に有用な情報
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161635&itemNo=1
城谷, まりな
城谷まりな
岸, 知二
岸知二
SPL開発におけるペアワイズ法を用いたテスト手法について
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161636&itemNo=1
福岡, 真吾
福岡真吾
劉, 少英
劉少英
形式仕様に基づくテストケース生成法の有用性の評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161637&itemNo=1
小川, 優
小川優
増田, 智樹
増田智樹
平山, 雅之
平山雅之
菊地, 奈穂美
菊地奈穂美
システム機能と状態遷移の関連付けによる組込みシステム向けテスト項目設計手法の検討
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161638&itemNo=1
Siena, Yu
SienaYu
Shingo, Takada
ShingoTakada
Mobile Application Testing Focusing on External Event
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161639&itemNo=1
北村, 宗大
北村宗大
岸, 知二
岸知二
Fault-Proneモジュール予測を利用した効率的な上位テスト手法の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161640&itemNo=1
延原, 宙斗
延原宙斗
佐々木, 晃
佐々木晃
WebアプリケーションのUIテスト支援用DSLの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161641&itemNo=1
Jose, Lorenzo,San Miguel
JoseLorenzo,San Miguel
Shingo, Takada
ShingoTakada
Generating Test Cases for GUI-based Android Applications by Modeling and Change Analysis
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161642&itemNo=1
岡崎, 知也
岡崎知也
吉田, 誠
吉田誠
岩根, 典之
岩根典之
タンジブルUIを使ったSound CouplingとCohesion Couplingによるソフトウェアの再構性
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161643&itemNo=1
萩原, 優樹
萩原優樹
高田, 眞吾
高田眞吾
IntentServiceを用いた非同期処理へのAndroidアプリケーションリファクタリング手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161644&itemNo=1
佐藤, 雄二
佐藤雄二
大坪, 聖
大坪聖
紫合, 治
紫合治
実行履歴情報に基づく教育用C言語理解支援ツール
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161645&itemNo=1
西田, 和馬
西田和馬
高橋, 竜一
高橋竜一
深澤, 良彰
深澤良彰
ユーザ嗜好に基づいたWebサービス選択アルゴリズムの推薦
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161646&itemNo=1
川端, 盛志
川端盛志
玉田, 春昭
玉田春昭
初学者を対象としたプログラム中の識別子の適切性評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161647&itemNo=1
石川, 諒大
石川諒大
名倉, 正剛
名倉正剛
Webサービス自動構築を目的としたJavaアプリケーションに対するRESTインタフェース自動生成
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161648&itemNo=1
早川, 友啓
早川友啓
小川, 大輔
小川大輔
紫合, 治
紫合治
タッチデバイス向けjavaエディター
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161649&itemNo=1
石嶋, 慧
石嶋慧
平川, 豊
平川豊
大関, 和夫
大関和夫
ウェブブラウザを用いたプログラミング学習支援環境
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161650&itemNo=1
櫻井, 佳樹
櫻井佳樹
協調フィルタリングを用いた関数候補推薦方式の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161651&itemNo=1
濱野, 真伍
濱野真伍
久間, 一輝
久間一輝
青山, 幹雄
青山幹雄
ゲートウェイクラウドを用いたサービス指向IoTアーキテクチャの提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161652&itemNo=1
鈴木, 優也
鈴木優也
劉, 少英
劉少英
SOFL非形式仕様の図化支援ツールの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161653&itemNo=1
内海, 太祐
内海太祐
青山, 幹雄
青山幹雄
複数コンテキストドメインにまたがるLinked Dataを用いたコンテキストモデル構築方法の提案と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161654&itemNo=1
松井, 浩司
松井浩司
松浦, 佐江子
松浦佐江子
UMLモデリングツールとGUIビルダによる相互的なモデリング手法の実装と適用事例による評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161655&itemNo=1
豊田, 丈晃
豊田丈晃
青山, 幹雄
青山幹雄
適応型ルールベースコンテキストモデル生成方法の提案と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161656&itemNo=1
千坂, 優佑
千坂優佑
岡本, 圭史
岡本圭史
VDM++仕様からC#コードを生成するツールの開発
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161657&itemNo=1
岡野, 純平
岡野純平
織田, 健
織田健
形式的ソフトウェア合成手法MSSSの妥当性評価実験
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161658&itemNo=1
福泉, 真隆
福泉真隆
織田, 健
織田健
B-Methodにおける段階的詳細化を考慮した形式的ソフトウェアのモデル細分化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161659&itemNo=1
柏倉, 歩
柏倉歩
大谷, 真
大谷真
WebプログラマのためのJavaScript言語の改良
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161660&itemNo=1
田中, 達也
田中達也
松原, 俊一
松原俊一
Martin, Duerst
MartinDuerst
Ruby 用トレーシング実行時コンパイラの実装
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161661&itemNo=1
岩間, 雄太
岩間雄太
市川, 和央
市川和央
千葉, 滋
千葉滋
動的型付け言語における構文拡張による曖昧性の回避手段の提供
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161662&itemNo=1
長田, 朋久
長田朋久
千葉, 滋
千葉滋
密な演算子呼び出しで実現した内部DSLの前処理による実行速度改善の試み
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161663&itemNo=1
山崎, 徹郎
山崎徹郎
佐藤, 芳樹
佐藤芳樹
千葉, 滋
千葉滋
大規模コードクローン検出のための,部分一致文字列を対象とした省メモリ化プログラム変換の予備的な性能評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161664&itemNo=1
索手, 一平
索手一平
早瀬, 康裕
早瀬康裕
北川, 博之
北川博之
可逆圧縮を利用したプロダクト派生関係推定手法の実験的評価 - 圧縮アルゴリズム毎の誤りの傾向分析 -
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161665&itemNo=1
片桐, 健吾
片桐健吾
小形, 真平
小形真平
岡野, 浩三
岡野浩三
Human Interface Guidelineに基づくGUIのユーザエラー防止性自動評価手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161666&itemNo=1
梅門, 創
梅門創
佐々木, 穣
佐々木穣
菅原, 拓海
菅原拓海
大久保, 建男
大久保建男
福原, 和哉
福原和哉
猪股, 俊光
猪股俊光
今井, 信太郎
今井信太郎
新井, 義和
新井義和
ソースコード変更時の影響波及範囲解析ツールの実装
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161667&itemNo=1
若月, 純
若月純
矢吹, 太朗
矢吹太朗
GitHub上のソフトウェア開発のためのフロー推薦手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161668&itemNo=1
匂坂, 勇仁
匂坂勇仁
玉田, 春昭
玉田春昭
逆難読化に向けての適用された難読化手法の特定
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161669&itemNo=1
宮里, 章太
宮里章太
岸, 知二
岸知二
API利用における設計構造のパターンマイニング手法について
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161670&itemNo=1
松田, 篤和
松田篤和
神崎, 雄一郎
神崎雄一郎
実行トレースに着目したソフトウェア保護機構のステルス考察
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161671&itemNo=1
十亀, 眞怜
十亀眞怜
斎藤, 博昭
斎藤博昭
匿名関数を含む Scala メソッドに対するコメントの自動生成
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161672&itemNo=1
齋藤, 崇雅
齋藤崇雅
粟田, 大樹
粟田大樹
増原, 孝昭
増原孝昭
芳賀, 博英
芳賀博英
LLVM IR を対象としたプログラムスライシングツール
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161673&itemNo=1
田村, 祐馬
田村祐馬
伊藤, 健洋
伊藤健洋
周, 暁
周暁
フィードバック独立点集合問題の計算複雑性
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161674&itemNo=1
菅原, 惇平
菅原惇平
鮏川, 矩義
鮏川矩義
浅野, 孝夫
浅野孝夫
シュタイナー森問題に対する近似アルゴリズムの実際的性能評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161675&itemNo=1
濱田, 賢人
濱田賢人
篠宮, 紀彦
篠宮紀彦
頂点のもつ可変量の均等化を利用したグラフの分割状況に対する辺の重要度算出手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161676&itemNo=1
秋元, 陽祐
秋元陽祐
平井, 佑樹
平井佑樹
並木, 美太郎
並木美太郎
金子, 敬一
金子敬一
彩色自由度を用いたレジスタ割り当てに基づくソフトウェアウォーターマーキング
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161677&itemNo=1
パーヌチーップ, チョーットニティ
パーヌチーップチョーットニティ
高須, 淳宏
高須淳宏
Frequent Multi-byte Characters String Mining Using Wavelet Tree-based Compress Suffix Array
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161678&itemNo=1
野口, 耀介
野口耀介
志田, 晃一郎
志田晃一郎
三次元空間における粒子衝突とクラスターの構成におけるイベントリストの効率化
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161679&itemNo=1
石河, 孝太
石河孝太
山本, 修身
山本修身
GPUによる幾何計算のための空間分割アルゴリズムについて
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161680&itemNo=1
藤本, 玲子
藤本玲子
青山, 幹雄
青山幹雄
データ駆動要求獲得方法の提案と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161681&itemNo=1
宮島, 和音
宮島和音
小形, 真平
小形真平
香山, 瑞恵
香山瑞恵
岡野, 浩三
岡野浩三
図要素間の依存関係によるクラス図の段階的採点支援手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161682&itemNo=1
津崎, 豪宏
津崎豪宏
玉田, 春昭
玉田春昭
バージョン管理のWebベースチュートリアルを用いた初学者の振舞分析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161683&itemNo=1
西川, 俊
西川俊
松浦, 佐江子
松浦佐江子
組み込みシステムにおける設計制約の導出手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161684&itemNo=1
松原, 百映
松原百映
河合, 亜実
河合亜実
青山, 幹雄
青山幹雄
安全性要求獲得方法の提案と評価
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161685&itemNo=1
吉成, 未菜里
吉成未菜里
岡本, 圭史
岡本圭史
要求文のベクトル化による要求文間の包含関係検出法の提案
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161686&itemNo=1
和泉元, 陽介
和泉元陽介
遺伝的アルゴリズムによる複雑ネットワーク上のコスト付汚染拡散最小化問題へのアプローチ
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161687&itemNo=1
月岡, 晋吾
月岡晋吾
吉川, 大弘
吉川大弘
古橋, 武
古橋武
商品レビューの評判要因分析のためのトピックモデルの適用に関する検討
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161688&itemNo=1
高橋, 茶子
高橋茶子
安田, 宗樹
安田宗樹
適応 TAP 近似を用いたガウス型制限ボルツマンマシンの学習
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161689&itemNo=1
菅原, 光太郎
菅原光太郎
過完備ICAにおける自然勾配型アルゴリズムの提案と画像認識への適用
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161690&itemNo=1
長谷川, 洵
長谷川洵
加藤, 毅
加藤毅
左打ち切りデータの回帰分析のための期待値最大化法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161691&itemNo=1
藤原, 涼子
藤原涼子
中桐, 斉之
中桐斉之
二次元格子モデルによる工場立地と閉鎖のシミュレーション
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161692&itemNo=1
別納, 健市
別納健市
松本, 翔太
松本翔太
若槻, 祐彰
若槻祐彰
上田, 和紀
上田和紀
多数の離散変化をともなうハイブリッドシステムに対する不変条件を用いた解析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161693&itemNo=1
森, 友哉
森友哉
小林, 敏也
小林敏也
宇都宮, 陽一
宇都宮陽一
奥田, 隆史
奥田隆史
ある水産加工業社における在庫管理方式の検討
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161694&itemNo=1
寺町, 太貴
寺町太貴
石榑, 隼人
石榑隼人
武藤, 敦子
武藤敦子
森山, 甲一
森山甲一
犬塚, 信博
犬塚信博
形式概念束の簡約化のための概念間の距離に関する検討
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161695&itemNo=1
松川, 剛久
松川剛久
金森, 由博
金森由博
三谷, 純
三谷純
45°系格子パターンに含まれる形式的折り線図の平坦折り可能性評価手法
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161696&itemNo=1
平方, 敦
平方敦
小高, 知宏
小高知宏
黒岩, 丈介
黒岩丈介
白井, 治彦
白井治彦
車両運用計画最適化への並列処理技術の適用
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161697&itemNo=1
三島, 嵩晃
三島嵩晃
藤原, 裕樹
藤原裕樹
石黒, 陽介
石黒陽介
山下, 晃弘
山下晃弘
山下, 倫央
山下倫央
GPSデータを用いた屋外大規模イベント終了後の人流解析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161698&itemNo=1
小林, 美里
小林美里
佐野, 大輔
佐野大輔
加藤, 毅
加藤毅
SVMによるリアルタイム河川水中大腸菌濃度予測
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161699&itemNo=1
張江, 洋次朗
張江洋次朗
和崎, 克己
和崎克己
ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161700&itemNo=1
榎元, 将大
榎元将大
小原, 和博
小原和博
SOMによるプロ野球選手のクラスタリングとAHPによるチーム補強戦略の意思決定
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161701&itemNo=1
野口, 俊樹
野口俊樹
大谷, 康介
大谷康介
松田, 健
松田健
真嶋, 由貴恵
真嶋由貴恵
ベクトル場による注射技術における手指運動の解析
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161702&itemNo=1
梅原, 章宏
梅原章宏
松田, 健
松田健
園田, 道夫
園田道夫
水野, 信也
水野信也
趙, 晋輝
趙晋輝
クロスサイトスクリプティング(XSS)攻撃の検知におけるバッチ学習とオンライン学習の比較実験
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=161703&itemNo=1
安藤, 啓紀
安藤啓紀
藤田, 聡
藤田聡
離散的なアップロード帯域をもつ分散ネットワーク上のMPVC問題
2016-05-18T11:46:08+09:00
2016-05-18T11:46:08+09:00