本資料は、掲載誌(URI)等のリンク先にある電子書籍・電子雑誌の提供元Webサイトなどから、本文を自由に閲覧できる場合があります。
List of volumes and issues
8 Records
National Diet Library
Table of Contents対話的手法により最適化コードを生成する科学技術計算用DSL 型付きDSLに対するプログラム変換の型安全なフレームワーク 解集合プログラミングを用いた配電網問題の解法に関する一考察 WSAN向けマクロプログラミング言語の提案 C#におけるAlgebraic Effectsの実装の試み グローバルProject-based Learningにおける組込みソフトウェアのモデル駆動開発と適用評価 LMSを用いたプログラミング授業における機械学習による得点率予測 スマートフォンアプリケーション開発初心者向けユーザビリティ評価手法 ビデオ会議システムにおけるリモートモブプログラミングのための役割ごと支援機能の検討 教師ラベルなし単言語学習データのみでのcross-languageコードクローン検出の試み Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems : extended abstract Attempts on applying graph neural network to cross-language code-clone detection Trees in partial higher dimensional automata より清浄なStream Fusion Codensity games for bisimilarity Graded algebraic theories Fluent API生成の現実世界での利用に向けて ある論文誌のための査読支援システム とらえるべき特徴に着目した深層学習モデルの構築 Type-check Python Programs with a UnionType System 外部データの解釈を文脈ごとに与える動的型付け機構 量子ビット連結性制約検査のための依存型システム Polymorphic gradual typing with holes グラフ書換え言語における数値制約を伴う型の静的型検査 不揮発性メモリの併用に特化したIOT向けプログラム言語ランタイム 関係代数を基礎とするプログラムに現れる名前解析システム SML#の並列処理機能とその性能 観光者の路面電車利用を支援する観光アプリケーション開発 ICTを用いた北海道新幹線内での新たな楽しみの提供に関する研究 観光地の風評被害を軽減するためのSNSを活用したデマ情報判別システムの提案 Identifying hazard-causing parameters for automotive driving systems BGP経路情報の地図上への投影におけるAS位置推定について ErrorSpotter : a visual analytics system for spotting errors in AI generated sports summaries データの可視化・文章化技術を複合させた大規模表データ探索システム 車両装備仕様問題に対する解集合プログラミングの適用 動的OS切り替えを目的としたFreeBSDにおけるLinux互換プロセスのマイグレーション機構 ブラックボックステストによる軽量なリダクションループ自動並列化 分散メモリ環境における階層性と仕事量を考慮したワークスティール戦略 HOPE : 階層的計算省略に基づく耐障害性を備えた並列実行モデル Sanajeh : a DSL for GPGPU programming with Python objects 人狼ゲームにおける最適な発言のゲーム理論による分析 モデル検査法によるドローン物流システムの近似スケジューリング SATソルバを用いたライフゲームにおける物体の合成手法 膜計算とセルオートマトンによる階層的人工生命モデル Proof normalization for classical truth-table natural deduction 名目書き換えにおける強可換性を用いた合流性証明 型システムを用いたロックフリースタックの検証 書換え系の変換を用いたZ性の証明 リアクティブシステム実現可能性必要条件の判定手続き ビザンチン将軍問題におけるメッセージ内容に基づく故障の特定 Multi-armed bandits for boolean connectives in hybrid system falsification 統計的な部分オラクルによるテスティング方法 プログラミングQAサイトにおける閲覧者の視点に着目した回答の予備調査 実環境向け並列言語実装技法の仮想環境における有効性の調査 他言語関数呼び出しにおける遠慮のかたまり問題の解決に向けたオブジェクトグラフの解析 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式 YAMLで記述された設定ファイルの静的検査器の開発 不揮発性メモリを用いたJavaオブジェクト永続化のオーバヘッドの調査 互いに独立した複数の巡回路を構築するアントコロニー最適化手法 Widest paths and global propagation in bounded value iteration for stochastic games 前順序とべき集合クオンテールの間の関係性について
National Diet Library
Table of ContentsSML#とMassiveThreadsの統合による超並列言語の実現 A stack hybridization for meta-hybrid just-in-time compilation Why3を用いた区間べき関数のプログラム検証 BYODに対応したソフトウエア開発演習環境の提供 GitHub習熟度評価手法の提案とシステム開発PBLにおける習熟度評価の試み アジャイルソフトウェア開発PBLにおける形成的アセスメントの効果測定 実践的人材育成コースにおける自己評価と客観評価にもとづく社会人基礎力の分析 GitHub上のJavaコードにおけるメソッドチェイン利用の定量的な分析 機械学習手法を用いた動的型付け言語のコード補完に向けて Java全知デバッガを用いた複雑な繰り返し実行のデバッグを効率的に支援する繰り返し要約機能 変数を埋め込んだ自由文でホーン節を構成する論理プログラミング環境へのホーン節機械学習機能の付与 TensorFlowで大規模ニューラルネットワークを学習する手法の考察 ASTToken2Vec : an embedding method for neural code completion 平塚市地域防災計画の整合性検査方式の研究 : 自治体防災業務へのソフトウェアエンジニアリングの応用 高度な運算定理のCoqによる証明とその自動化 SML#の動的型付け機構 グラフ書換え言語におけるグラフ操作の静的型検査 競技プログラミングコンテストの提出プログラムを利用した記号実行ツールKLEEの定量的評価 カバレッジに基づくファジングツールの比較評価 プロセス仮想マシンにおけるシステムコール実装支援手法 帰納的プログラミングの初等教育の試み 敵対的サンプルに対するニューラルネットワークモデルの学習無し修正とその評価 PoCキャンバスを用いた機械学習システムの開発プロセスの管理手法 パラメトリシティに基づくプログラム微積分 Monoidal t-norm論理のCurry-Howard対応 一般化max演算子の自動抽出 ファズ・データセットを用いたメタモルフィック・テスティング : 機械学習ソフトウェアの検査 Androidアプリケーション開発支援ツールのためのAPI利用パターン情報収集におけるAPIバージョンの考慮の効果 OSAIFU : プログラム理解支援のためのAndroid Studioプラグイン 要件定義工程へのグラフィックレコーディング導入支援システムの提案 NFRフレームワークを用いたセキュリティに関する要求定義支援ツールの提案 Verification of memory access for deep learning compilers リソース消費量に着目したLinux Kernelの分析 写経型学習の欠点を補う摂動を用いた理解度確認問題生成手法 : 二項演算子の事例に基づく有効性評価 不完全な文法からパーサを生成する手法の検討 グラフ書き換えモデル検査器SLIMへの差分適用グラフ正規化手法の実装 SML#の永続性拡張に向けて AR技術に基づく共創支援のための行動分析システムの試作 AR技術に基づく反転講義のための講義映像作成支援システムの試作 機械学習モデルの解釈手法による競合サービスと比較したレビュー分析 Negotiation protocol in traffic routing for priority vehicle Watts-Strogatzモデルに基づく大規模ランダムグラフの分散並列生成 マルチエージェントモデリングによる選挙制度のシミュレーション メカニズムデザインにおける合理性の認識論理による分析 Doc2Vecを利用したGUIテストスクリプトのロケータ修正手法の提案 Claude : ロケーションベースP2Pアプリケーション開発フレームワーク
National Diet Library
Table of ContentsRaspberry Pi環境のためのサンドボックス検出ツール VM内コンテナを用いたサービス単位のオートスケール機構 継続的デリバリーにおけるテスト手法 Haskellでシグナル関数を利用した FRPに基づくGUIライブラリの実装 Narratives for multi-party mechanisms and concerns : cross-cutting commentary Linear Quipper : 埋め込み線形型付き量子プログラミング言語 依存型を含むマルチステージプログラミングの型理論 緩い値制限に基づく多相と副作用を含むコード生成言語の型システム 深層学習システムのテスト基準 深層学習システムのミューテーションテスト 機械学習応用システムにおける不変量の保証について 型チェックのアノテーションによる保守・運用の改善 Skip-Gramモデルを用いたプログラミング言語の文法推定に向けて 機械学習を考慮した遺伝子発現プロファイルデータの最適化 機械学習を利用したシステムにおける不確実性を考慮した開発プロセスに関する考察 機械学習をアシストする情報可視化 Transfinite induction via term refinement in CafeOBJ Experimenting with monadic equational reasoning in Coq 決定手続きを用いた項書き換えシステムの帰納的定理自動証明 ペアプログラミングイベントの学習意欲への影響 : Coderetreat for Girls PBLにおける蓄積資料を利用した引き継ぎ資料の自動生成手法の検討 プログラミング演習における探索的プログラミング行動の自動検出手法の提案 過去の情報を用いたPBL向け工数見積り手法の提案 Profile-guided memory optimization for deep neural networks 複数の機械学習実装にまたがって予測モデルを探索する分散処理フレームワーク 機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて 周波数に着目したAdversarial Examplesに対する頑健性の向上 無限のデータを含む等式に対する帰納的定理証明 関数プログラム・計算系の分割停止性検証 : 外山-Klop-Barendregtの定理の高階化 Proving tree algorithms for succinct data structures Jaffarのアルゴリズムに基づく正則項の単一化 プログラミング学習の効率化を目的としたeポートフォリオシステムの提案 プログラミング行動中の思考分析に基づいた初学者支援システムの提案 Applying combinatorial strategies in GUI testing incorporating context events in Android applications コードクローン検出が用いる局所性鋭敏型ハッシュに与えるパラメータ決定手法 ローマ字入力による日本語識別子入力補完プラグインの開発と評価 対称な関数呼び出しの融合 Coq用Cコード生成器の線形性検査拡張 実行パスの動的解析によるハイブリッドシステム処理系HyLaGIの最適化 Coqにおける検証されたプログラム運算の拡張 動的連結可能な電子連結車両による既存交通網の置換手法の提案 講義映像の再編集のための講義映像編集ブラウザの試作 コンテンツ間の位置関係を考慮した話題推定に基づく情報推薦の実現 アート体験のためにプログラミング過程の情報を構造化する上でのトークナイズ手法 プログラムを停止させないデバッグを可能とする手法の提案 プログラム変換を利用した型エラーデバッグ手法の提案 一階不動点論理の循環証明体系とプログラム検証への応用 隊列走行可能な車両を用いた端末交通システムのためのスケジューリング手法 グラフ構造の成長と減退を表す指標の提案 ブロックチェーン上のアプリケーション移植性に向けて 階層グラフ書換え言語LMNtalの否定表現の拡張と全称量化の実現 論理型言語PROLEGに対応する双極議論フレームワークの意味論について
National Diet Library
Table of Contentsワークスペース自動割当による畳み込みニューラルネットワークの高速化 Unified Memoryを用いた大規模ディープラーニングモデルの性能に関する考察 SparkGraphXによる最大流アルゴリズムの実装と評価 実世界型電子付箋システムにおける漂流型情報共有機構について ハイパーメディアのJaccard係数に着目した定義文拡張による語義曖昧性解消 短文レポート評価のための短文レポート群の特徴に基づく可視化システムの開発 C言語における無効なスタック領域へのポインタを検出する静的解析 データ駆動アプローチによるプログラムの線形写像化 Outlook on composite type labels in user-defined type systems Codosseum : OSSプロジェクトモニタリングWebサービス ユニケージ開発手法に基づくUnixファイルシステムとシェルを用いたデータベースの構築と操作 MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良 ヘドニックゲームにおける羨望に基づく公平性 極大完備化に基づく等式定理の自動証明 証明支援系Coqを用いた有界モデル検査 並列プログラム計算量の系統的機械証明手法の開発 QuadProを目指す組込みシステム開発教育における学習プロセスの検討 能力成熟度モデル統合に基づいたPBLにおける定量的学習評価手法の提案 ハッキング競技CTFを取り入れた情報教育のための教材作成支援システムの検討 異種OS上のコンテナ型仮想化環境間でのライブマイグレーション実現方式の検討 マルウェアが実行する耐解析処理の定量的傾向 アプリケーション仮想共有における共有管理機構のインタフェース クラウドにおけるVMリダイレクト攻撃を防ぐためのリモート管理機構 関係的仕様からの関数型プログラム合成 多言語に対応した衛生的マクロ機構導入方式 グラフ書換え言語LMNtalからのCプログラムの自動生成 拡張マークダウンを利用した状況即応的なプレゼンテーションシステムの実装 Non-negative tri-factorization with a dynamic laplacian constraint for associating features 自律ロボットの目標物認識能力の獲得について NezCC : a cross-language PEG parser generator 書き換え帰納法を利用した帰納的定理証明の補題生成法 プログラム操作のためのホーア論理の拡張 正則項上の可換な単一化について 機械学習工学に向けて 機械学習による3次元シミュレーション空間の場面評価手法の検討 進化シミュレーションを用いた3人人狼の分析 自動発注問題を題材としたビッグデータ・AI技術に対する実践的人材育成コースの設計 東京工業大学におけるITシステムの価値探索を狙いとした実践的IT人材育成の試み : Problem Based Learning と Project Based Learning Coderretreatによるプログラミング学習意欲の向上に関する考察 : Coderetreat for Girlsを振り返って メモリ効率の良いスレッド生成のためのスタック領域のリンクリスト化 Extending fregel for functional vertex-centric graph processing with remote access 仮想環境を考慮した要求駆動型負荷分散 SML#のためのコードレベルデバッグ環境の構築に向けて モジュールの生成が可能なマルチステージ言語の提案 MC-netsにおける利得分配 : 上界保証付きε-コアを求めるアルゴリズム 抽象議論理論的な同盟形成意味論 ブール基数制約を経由した擬似ブール制約のSAT符号化手法 Why3を用いた区間演算ライブラリの検証 頂点主体並列グラフ処理の制約解消器による効率化 ソースコードの変更によるデータフロー図の差異検出手法 制御ルールの並びに着目した反例分析手法の提案 ドローン物流システムにおけるモデル検査法を用いた運行スケジュールの決定手法 既存Androidアプリケーションの実装状況に基づいた実装すべきメソッドの提示手法 バージョン管理システムにおけるコンフリクト自動解消への試み Performance characteristics of linux for Java workloads oversubscribing memory ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器 対話的なネットワーク可視化分析のシェーダー実装による高速化 高次元データ可視化手法Hidden ライフスタイル認証モデルの提案とその評価に向けた実証実験 再帰型ニューラルネットワークを用いたコーディングスタイルの自動検査手法の提案 デバッグ作業者の内面分析支援を目的とした障害発生過程の実体化手法 確率的プログラムのAOPによる生成 解析表現文法の結合優先度を保持した左再帰除去手法の提案 型検査を用いたコンパイル時LR構文解析手法の提案 実用的な型エラースライサーに向けた改良と評価 タブレット上でブラインドタッチを可能にするフレキシブルキーボードの提案 発表練習支援システムのためのプレゼン映像からの癖除去機構の開発 OCC theoryに基づくエージェントの感情表現と時間経過に関する論理モデル マルチエージェント継続協調巡回における分業の創発と変化に対する柔軟性の評価 効率的なタスク割り当てのための希望順位戦略の自律的学習法の提案 センシティブ属性値の距離を考慮したダミー追加による l-多様性アルゴリズムの提案 ローマ字入力時の日本語識別子入力補完プラグインの開発 データセット多様性のソフトウェア・テスティング OSSプロジェクトにおけるTangledコミットの実証分析 多相関数を含むプログラムの抽象解釈を用いた最適化 末尾再帰でない再帰プログラムの高速化のための最適化に関する一考察 Swift処理系における不可分命令のオーバーヘッドとその解決案 余帰納法に基づく定理証明の自動化 キューマシンにおける不動点プログラミング クラウドソーシングを用いた社会課題因果関係LODの構築 提携構造の安定性分析に基づくQ&Aコミュニティのインセンティブ設計 アクターシステムを対象としたリバースデバッギングのためのフレームワーク 正規表現型を用いた解析表現文法への型付け
National Diet Library
Table of Contents学習項目を利用したプログラミング学習用プルーフリーダの試作 汎用学習管理システムと連動するIP技術自己学習機能の提案 女性IT技術者の働き方に関するアンケートから見えてきたこと AIITにおける実践的Scrum技術者教育の取り組み A bidirectional language for parsing and reflective printing 二分木のランク計算のクリーン可逆シミュレーション ハイパバイザによる災害警報通知システムの実装方式 クラウドにおける仮想化システム外部からの安全なVM監視機構 OSを関数型言語のみで開発するための検討と試作 高度ICT人材育成教育における情報デザイン手法導入の課題 過去の情報を用いた工数見積り手法とCOCOMO IIとの比較実験 動的型付き言語上での構文拡張手段の提供 X10用分散ガベージコレクタの耐故障性サポートについての検討 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール ApacheSparkにおけるコード生成の最適化 データ依存を持つ繰り返し計算アルゴリズムからのHadoop MapReduceプログラムの生成 部分動的レコードを活用した型付きテンプレートエンジンの試作 OSSベース開発のための由来と機能レイヤーに基づいたメトリクス可視化手法 PBLにおけるソースコード引き継ぎ支援 : 日本語と英語を交えた識別子命名によるソースコード可読性向上の試み グラフ書き換えに基づくモデル記述言語LMNtalによるLMNtalモデル検査器の実装 Cyclic datatypes modulo bisimulation and decidable equational theory for fold 頂点主体グラフ処理の構成的アルゴリズム論に基づく定式化 大規模グラフ並列処理のための関数型領域特化言語Fregelとその評価 Describing Pregel algorithms with non-adjacent data communication SML#によるVertex-centricプログラミングに向けて 特定物体認識を用いた簡易備品管理システムの開発 ユニケージ開発手法 : usp Tukubaiコマンドを用いたシェルスクリプトによる企業システム開発 帰納的述語定義を含む分離論理における循環証明による半自動証明 単一化閉包に基づく単一化について プログラム言語の標準解釈系上での記号実行のためのフレームワーク パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション Church-Rosser theorem and compositional Z-property VMが利用可能なCPU数の変化に対応した並列アプリケーション実行の最適化 In-memory Hadoop on supercomputers usingexternal memory of additional nodes 並列有限体積法のための領域特化言語のC++への埋め込み プロトタイプ開発支援ツールによるCakePHPフレームワーク向けコード生成実験 編集履歴から算出した開発者の関心度に基づくコード補完 自然結合制約を含む型推論アルゴリズムの実装方式 An extended behavioral type system for memory-leak freedom Temporal dependent contracts for higher-order functions WebUIユーザビリティ向上のための支援ツールの検討 キーワードと書きかけのコードから開発者の意図を推測するAPI呼び出し記述支援手法の検討 一般化N体問題アルゴリズムに対する局所性向上技法 停止性の保証によるrewrite rulesの改良 統計的モデル検査における偏向分布洗練手法 情報制御システムのモデル検査におけるモデル分割支援法の検討 Java Pathfinderにおける弱公平性条件の実装 SML#のよりシームレスな外部関数インターフェースの実現に向けて 無限の入出力を行う関数型プログラムのK正規化の形式的検証 隊列走行可能な端末交通システムにおける旅客輸送方式 目標物到達機構を持つ自律的な小型ロボットの制御を行うBDIエージェントの構築 デバッグ時の診断作業の質的な分析に向けた事例研究 ソフトウェアメトリクス測定値を用いた品質改善効率低迷状態検出 SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案 Formal foundations for rigid body transformation Bidirectionizing model transformation languages through partial translation 細粒度アクセス制御を行うためのフォーマルなソフトウェア仕様に対する分析事例 数学的記号処理システムを用いたソフトウェアの構成手法 多段階let挿入を行うコード生成言語の型システムの設計 OMetaのための衛生的マクロ定義機構導入方式
National Diet Library
Table of Contentsアンドロイド・アプリの電力消費振舞い : 形式モデルと有界解析 実現可能性の必要条件に基づいた不完全リアクティブシステム合成 段階的検査法を用いたモデル検査の反例分析手法 漸進的論理のシークエント計算 関数型プログラムの不変条件のICE流学習手法 更新可能時間オートマトンの新たな拡張について Javaプラットホーム上でのCoq検証済みコードの実行について Scala上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について HaskellでGUIを扱うためのライブラリPhooeyの改良 類似ソフトウェア比較のための統一されたディレクトリ構造の可視化ツール 最適部分列問題に対する統一的な並列アルゴリズム 数値制約ソルバーのスケーラブルな並列化 動的なロジック切り替えによる結合演算高速化の検討 MRI Image Processing with OpenCL コールスタックに基づいてクラス拡張の有効範囲を制御するための言語機構の提案 対話型視覚的アプリケーションのための制約命令型プログラミング言語 逆回しデバッグ支援の個別化に向けて X10を用いた分散エージェントシミュレーション基盤サービス Spark上でのTPC-HBenchmarkのマルチレイヤ最適化の評価 SSLWatcher : SSL/TLS通信を監視し警告するハイパバイザ Bluetoothビーコンを用いた近接情報伝搬によるアドホックなデバイス識別手法について SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価 Processing UnQL graph queries with Pregel グラフ書換え系における静的グラフ型検査 部品化を指向したクライアントサイドWebアプリケーション開発の枠組の設計と実装 変更履歴を利用したパッケージ管理のためのバージョン管理システム プログラム編集履歴を用いた版管理システムでの競合解決支援 ソフトウェア保守のためのUMLシーケンス図維持支援 Call/ccを含む型無しラムダ計算における文脈等価性の一証明手法 Compositional Z : confluence proofs for permutative conversion 文脈移動法によるプログラム変換の正当性について PBL活動を行う学生チームへの実装と支援の留意点 ソフトウェア開発PBLにおけるAWS in Education助成プログラムの活用 筑波大学におけるプロダクトディスカバリーの事例紹介とその評価 情報系必修PBL科目の週報データの分析と考察 二値効用下での戦略的操作不可能なケーキ分割メカニズムの提案 差分プライバシを満たすニューラルネットワークモデル構築手法の提案 Homotopy Type Theoryによるパッチ理論の拡張 Fibered fibration categories Linux on z SystemsにおけるMongoDBの性能評価 メニーコアマシン環境における並列B木マージを利用したビッグデータ処理方式の検討 分散ハッシュテーブルを用いたストレージシステムの省電力化手法 GPUコードから分散ファイルシステムにアクセスする試み iSugar : インクリメンタルSAT解法が利用可能なSAT型制約ソルバー Automating well-founded induction for Horn clause solving 順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化 半単一化問題の比較について Unravel programming sessions with THRESHER : identifying coherent and complete sets of fine-granular source code changes 構造的部分型付けと解析表現文法によるスキーマ言語 100万個の球を描く10の手法 Improving Floating-Point Numbersライブラリの高速化 ハイブリッド制約処理系HyLaGIによる微小誤差を用いたモデル解析 参照を備えた多段階計算のための多相的型システム F#を用いたJavaScriptの型検査器の実装 バグ情報を含むソフトウェアの視覚化 ソフトウェア開発履歴の改変例の分析に向けて わが国の初等中等情報教育 : 現状と将来に向けた目標体系の提案 ソフトウェア開発の教育のビジョンを語ろう enPiTにおけるファシリテーションスキル授業の実践と評価について ソフトウェア開発書類の共同編集による合意形成支援 開発要求の精度向上のための提案依頼書の作成支援 解析表現文法の開発支援のためのデバッガの実装と評価
National Diet Library
Table of Contents形式言語CSP#によるSysMLステートマシン図の形式化 スマホ・アプリの電力消費振る舞いと検査性質の表現 協調的リアクティブシステムの合成手法 情報制御システムにおける段階的検査法を用いたモジュラ検証 女性IT技術者の育成を目指して : enPiT女性部会WiTの活動を中心に RDFとユーザプロファイルを用いたPBL向け情報推薦手法 IoTを題材としたPBLの実施と分析 限定継続演算子の拡張およびそれを用いた並列向け領域特化言語群の実現 依存関係をもった並列タスクのための動的グループバリア同期とその効率的な実装 LablGtk2を用いたuniverse teachpackの実装 プログラミング作業過程の動画を用いたプログラミング学習の試み Schemeによる3D図形の構成的制作 OJLによる実践的組込みシステム教育 ハイブリッド人材育成のための基礎学習に関する一考察 モダンなソフトウエア開発者育成のための技術教育 Visibility of context-oriented behavior and state in L アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価 制約解集合プログラミングシステムの設計方式に関する考察 コード生成を用いたフレームワーク向けWebアプリケーション開発支援ツールの作成 研究エピソードネットワークに基づくスライド検索 ドキュメントレビュー結果を利用したテスト項目作成システムの開発 ハッカソン形式の実践的IT教育の実施報告 筑波大学大学院におけるIT実践力育成の施策と評価 enPiT SecCap : comparison of Japanese practical security education with one of the US Engineering shortest regular category-path queries パターン定義によるマッチングを導入したグラフ書換え言語とその実装 Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール Code2Xml : ソースコードと構文木の相互変換を実現するパーサコレクション まねっこダンス : 真似て覚えるプログラミング学習ツール 過去のPBLの開発履歴を活用したPBL運用支援 テキストマイニングによるPBL発表会評価アンケート傾向分析 enPiTにおける教育効果測定の実践と評価 分割できながら等価 : 型レベル・エイリアス 代数的データ構造を扱う関数型プログラムの検証法 コード生成のための自然演繹 REMViewer : 複数回実行されたJavaメソッドの実行経路可視化ツール シーケンス図を用いたモデル検査支援ツール RepositoryProbe : リポジトリマイニングのためのデータセット作成支援ツール Towards a trace-based approach to increasing the comprehensibility and predictability of bidirectional graph transformations SGL hierarchical bridging modelfor parallel programming 公平な並列実行のためのゲーム意味論 Prolog再考 : 急がないで推測 仮想マシンモニタによるマルウェアプロセスの実行抑止 Silhouettes : ディスプレイ間を移動可能な人物の実像を用いた情報通知システムの試作 既存プレゼンテーション支援システムのWeb連携に基づく双方向プレゼンテーションの実現 過去のPBLの情報を用いた工数見積り支援ツールの開発 プログラム理解のためのコードリーディング支援ツールの提案と実装 Processingアプリケーション開発のための視覚的ドメイン特化言語の実装 高レベルLLVMマクロとしてのMetaOCaml Implementing a subset of Lambda Prolog in HyperLMNtal ASIRRAシステムに対する機械的な突破の検証 リモート・ユーザビリティテストの実施容易性と有効性の評価実験 対話的修正と対象プログラムとの合成手法 検証済みのコードによるCoqからScalaへのコード抽出 Weak HOASを用いたFeatherweight JavaとFeatherweight GJのCoq上での形式化 Aπ計算のCoqによる形式化 関数型言語SML#における64ビット対応への取り組み 通信制約を考慮した遠隔介護のための適応型コミュニケーション支援システムの実現 数式処理に基づくハイブリッドシステムシミュレータHyroseの大規模モデルシミュレーションに向けた拡張 BABOKを活用したチェックシートによるRFP評価の試み When project centralization and random testing meet : efficient automatic testing of multiple software product variants 開発のためのCMMIの成熟度レベルごとの関連プロセス領域ネットワークの中心性可視化
National Diet Library
Table of Contentsファイル共有サービスにおけるアクセス傾向予測を用いた分散ストレージシステムの省電力化手法 ゲーム理論を用いた大規模分散ストレージシステムの省電力化手法 Data Segmentの分散データベースへの応用 関数型言語からキーバリューストアへの型安全なアクセス機構 COINSによる例外処理機構を持つ言語処理系開発支援 Assure-it: assurance casesの記録管理ツール プログラミング初学者向けコンテストシステム 要求の集約と体系的な可視化を支援する環境の提案 要求工程におけるプロトタイプからのUI仕様書の生成支援 ユーザエクスペリエンスを考慮したソフトウェア開発支援 D-Case記述のためのドメイン特化言語の設計と実装 パッキング配列問題の制約モデリングとSAT符号化 Formalization of the qualitative spatial reasoning of superposition of rectangles in proof assistant 多元宇宙多相型代数理論 Efficient query evaluation on distributed graph with hadoop environment 凹凸付きスマートフォンケースにおけるタッチ精度の評価 研究活動支援環境におけるスライドリポジトリの実現 DITAによるソフトウェア関連文書とソースコードの統合管理環境の提案 整合性維持に着目したソースコードとドキュメントの一元管理環境の提案 プログラミングにおけるコメント付与システムの提案～Orignum～ 関心度に基づいたソースコード推薦システム Encoding type systems into HyperLMNtal GPU環境で動作するメッセージ送信型並行計算モデルにもとづいたプログラミング言語処理系の構想 TypeScriptによるソフトウェア開発の効率に関する経験報告 静的型付けスクリプト言語における柔軟なオブジェクト構造 変数参照関係を用いた関数型プログラムのコードリーディング支援 ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装 MethodとEvent、Advice、およびBehaviorを統合する言語機構 Scala上で実現されたSAT型制約プログラミングシステムのための開発ツールScarabについて ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入 最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証 FMEAとモデル検査を組合せた高信頼設計プロセスの提案 情報制御システムに対するSPINを用いた段階的モデル検査手法 模擬案件と実案件を組み合わせたシステム構築PBLカリキュラムの開発 Cloudbauhaus:東京工業大学における実践的IT人材育成の試み ビジネスアプリケーション分野における実践型PBLプログラム 筑波大学におけるenPiT-BizAppへの取り組み Cloud Spiralの取り組み 情報セキュリティ人材育成プログラムSecCapの取り組み コンテストチャレンジ型組込みシステム開発 PBL カリキュラムの開発 全国調査を通じた実践的な情報教育の実態と課題の明確化 プロジェクト型演習に基づく実践的IT講座における共通性の分析と教育効果の評価 A type class for bidirectionalization : or, a light-weight approach to the view-update problem 段階的計算における最適なステージ化プログラム生成の自動化 多段階計算 $lambda^rhd$ のための越段階埋込 An experimental implementation of self-adjusting bidirectional transformations 「攻撃者目線」で学べるシステムセキュリティ実践的学習環境の提案 高信頼なシェルスクリプトD-Shellの提案 オブジェクト指向プログラミングにおける内部状態を考慮したテストケース自動生成手法 仮想AMTを用いた仮想マシンとPCの一元管理 大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法 XPath問合せのWork Efficientな分散並列評価 A high-throughput computing scheme on many-core processors 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法 Auctions and mechanism design クラウドソーシングとメカニズムデザイン 制約付きマッチングのメカニズムデザイン 永続性と減少ダイアグラム法に基づく合流性証明法 定性空間表現PLCAのモデル化と妥当性の証明について グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法 A parameterized graph transformation calculus for finite graphs with monadic branchesy DITAを用いたソフトウェアドキュメンテーションにおけるトピックの意味検索手法の提案 メソッド抽出リファクタリングが行われるメソッドの特徴調査 トピック抽出を用いたソフトウェア開発履歴の可視化ツール Haskellによる非破壊的木構造を用いたCMSの実装 匿名性を考慮したリアルタイムなWebアンケートシステムの実現 ジェスチャーで操作可能なスライドオブジェクトに基づくプレゼンテーション支援システムについて スライド検索のためのスライドリポジトリにおけるスライド構造について 発表者の実像を利用した動的なプレゼンテーション操作環境の実現 LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究 自己適応システムの安全なコンポーネント置き換え DFDを用いた要求仕様の洗練化のためのトレーサビリティ構築と条件の抜け漏れ検出 人為的欠陥の意味と耐性解析 差分的に記述された解析表現文法に対する構文解析器の合成 二次元平面上のP2Pオーバレイネットワークにおける経路表の順序関係に基づいたルーティング手法 LSM-treeにおけるC1 treeの数と読み出し性能の関係 BiFluX: a bidirectional functional update language for XML LMNtalにおけるグラフ書換え操作のCoqによる形式化 ラムダ計算の型問題を支配する本質的情報について 閉包操作に基づく項書き換えシステムの到達可能性判定 自動検証のためのプログラム変換法
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 電子書籍・電子雑誌
- Title
- Publication, Distribution, etc.
- Text Language Code
- jpneng
- Persistent ID (NDL)
- info:ndljp/pid/11665453
- Collection (particular)
- 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
- Acquisition Basis
- オンライン資料収集制度
- Date Accepted (W3CDTF)
- 2021-04-20T20:30:37+09:00
- Access Restrictions
- 国立国会図書館内限定公開
- Service for the Digitized Contents Transmission Service
- 図書館・個人送信対象外