List of volumes and issues
12 Records
Available onlineNational Diet Library
Table of Contentsコードクローン中のコードスメルに関する調査研究 ACC車両の混入状況を変化させたときの渋滞緩和効果並びにガソリン/エネルギー消費量削減効果の検証 複数車線における車線変更を考慮した渋滞の解析に資する交通流モデルの構築 論理制約付き項書き換えシステムにおける新しい制約付き項の書き換えの提案 一般的な組合せ子の非ω-強頭部正規化可能性・停止性・非基礎ループ性 機械学習におけるアーキテクチャ構成とその学習手法の圏論的構造化 動的最適化の挑戦 プログラミング演習における協働学習のための会話内容可視化システムの試作 生成AIを活用したプログラミング演習支援のためのバーチャルTAの提案 プログラミングの写経型学習の欠点を補う翻訳学習法の提案 デバッグ演習への意欲向上を目的とした順位付けをしない得点提示式演習の提案 Lexicographic ranking supermartingales with lazy lower bounds Compositional value iteration with Pareto caching Composing codensity bisimulations グラフデータベースを用いたモデル検査の実装と評価 メソッドレベルIR-based bug localizationでの模範クエリの発見と性能評価 自動生成した標的型メールを用いた訓練用メール配信システムの開発 フリーWi-Fiの危険性に関する情報セキュリティ教材の開発 教授者のクラス配置に基づいた初学者向けクラス図作成支援手法 エフェクトハンドラを用いた型安全なコード生成 パラメトリック多相関数の真偽値への単相化によるテスト 機械学習を用いたシステムの品質管理におけるベストプラクティスについて WGANを用いたR波ピーク検出とピークボトムの落差によるピーク検出の識別精度分析 再帰呼び出しを含む分離論理の部分正当性のための循環証明体系 係数環完備化と貼合せ・直交性に基づく線形論理のΣ加群モデルの再構成 MELLのカット除去規則に基づく階層グラフ書換え言語の拡張 解集合プログラミングを用いた遷移コストと遷移長を考慮したパレート最適な組合せ遷移 拡張性の高い遷移系を記述可能な領域特化言語 Fluent APIにおけるプログラム断片のより柔軟な結合 LL(1)文法からflat-chainingおよびsub-chainingのfluent interfaceを自動生成するDSLの提案にむけて JCompaths: 実行経路の比較と可視化を行うコードレビュー向けツール 最新比較評価向けM-closureの再実装 PBLのためのCCPMを活用したプロジェクトマネジメント手法の提案 チュートリアル型ミニアプリ開発補助教材の開発 EmbedFX: new programming language for embedded systems with asynchronous effects 組込みシステム向けFRP言語によるリアルタイムタスクの記述と処理機構 シングルショット画像からの3Dモデルの生成とボーン座標推定 テキストと画像情報を活用した観光地検索支援システムの提案 Maps SDK for Androidを用いたテーマパークナビゲーションアプリの構築 代数的エフェクトハンドラを持つ言語のプログラムに対するエフェクト列の静的な見積り 大規模言語モデルを用いたコード最適化の実用化に向けて セルフホスト型ランタイムによるWebAssemblyインストルメンテーションの実現可能性検討 プログラムメモリの小さなProcessing-in-Memory向けJava to Cコンパイラ UPMEM PIMのためのスクラッチパッドメモリをyoung世代とする世代別GC
Available onlineNational Diet Library
Table of Contents深層ニューラルネットワークに対する分散型修正技術DistrRep CTの思考育成を促進するプログラミング協働学習の提供 Web GUIを対象としたOJSプロトタイプの実装と評価 EDINET APIを用いたデジタルフォレンジック学習教材向け資料生成プログラムの開発 消費期限お知らせシステムの開発 複合現実デバイスを用いた模様替え補助システムの開発 道幅における個人の嗜好を考慮した 道案内システムの開発 e-Learningを用いたプログラミング学習に対する高い動機づけ維持のための取り組み A categorical framework for program semantics and semantic abstraction : extended abstract べき集合クオンテールの別表現の発見 アローに対する代数的エフェクトとエフェクトハンドラ Processing-in-Memory上の探索木に対するバッチクエリの負荷分散に向けて ソフトリアルタイムシステムにおけるCPU使用率の向上を目指したDEADLINEスケジューラの拡張 再帰的なグラフパターンに基づく反復パターンマッチングの効率化手法 同期的データフロープログラミングにおける逆計算の構成方式 An adaptation framework for view-based data sharing in bipartite network of bidirectional transformations 様相論理による統計的因果の形式化 Formal verification of automated driving : RSS and safety architectures ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 Page Trendによる記述状況の可視化を用いた要求仕様書の理解手法の提案とtf-idfによる記述状況の比較評価 プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計 段階的再構築における依存関係分析を用いた費用対効果の試算 Automatic correctness checking of haskell's rewrite rules : theory and practice Active learning of symbolic mealy machines ストレージストラテジーによるJavaScriptオブジェクト配列のメモリ使用量削減 不要な場合でもオーバヘッドの小さいawaitのJavaScript言語における実現に向けて An object-oriented programming model for processing-in-memory computing in Java language アジャイル開発を行うPBLチームの心理的安全性を測定するシステムの提案 アジャイル開発人材育成のためのPBL型教育におけるプラクティス : 2023年度プロジェクトの事例 3DCGを活用したプログラミング教育教材開発の試み 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング 実務で使われるコードクローン検出・追跡システムをめざして Exploiting adjoints in property directed reachability analysis グラフ書換え言語におけるグラフ操作の軽量かつ静的な型検査 Incorporate program analysis into persistence by reachability model 慣用句単位のコード翻訳を応用したプログラミング支援の提案 日本語で記述された大学初年次プログラミング課題に対するChatGPTの回答能力の調査 大規模言語モデルを用いたプログラミングを支援する言語機構 Higher-order weakest precondition transformers via a CPS transformation : extended abstract 異なる定理証明支援系間の証明の再利用に向けた帰納型の変換 Online causation monitoring of signal temporal logic 深層学習モデルコンパイラにおけるAIチップ用コード最適化 解釈が容易な特徴量を用いたFeature Attributionに基づく将棋AIの指し手の解釈可能性向上手法 GPTを用いたデスクトップ・エージェント・システムの開発 プロンプト作成の負荷を軽減する生成系AIを用いた学習支援ツールの提案 Few-Shot Promptingを用いた言語系生成AIによるプログラミング演習問題の自動生成手法の検討 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御 Minissg : 小さく軽量で規約のない静的Webサイトジェネレータ 機械学習を用いた悪性Pythonパッケージの検出 Connectivity in the presence of an opponent : extended abstract いくつかの組合せ子の非停止性 時間的性質類の言語的及び位相的特性 仮想人体生成モデルにおける品質管理 機械学習を用いたテーマパークのアトラクション待ち時間予測手法の確立 SATySFiにおけるドメイン固有型エラー診断 対話性と十分な実行速度を両立した組み込みマイコン向け開発環境の提案 学習者自身が物理現象をモデル化するシミュレータSimSymの提案 エージェントベース統合交通流シミュレーションにおけるメンタルモデルの開発環境構築に関する研究 あがり症のためのプレゼンテーション補助システムの開発
Available onlineNational Diet Library
Table of ContentsDecidable entailment checking for concurrent separation logic with fractional permissions 正則項の木変換器による書き換え 機械学習による予測・推論の公平性 : 融資判定の文脈での考察 Cooperative memory management of a JavaScript virtual machine with datatype based hardware memory deduplication Supporting multiple inheritance in an object-oriented DSL for GPGPU by class hierarchy transformation ストレージストラテジーによる組み込み向けJavaScriptバーチャルマシンのメモリ使用量の削減 機械学習サービスシステム開発プロジェクトにおける危険な匂いと実践に基づく収集 外部ソルバを用いた有限領域上の制約階層の解消法 SMTソルバーを用いたパラメータ自動求解システムの開発 解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価 A complete glitch-free propagation algorithm for distributed functional reactive programming 解集合プログラミングを用いたクイーン支配問題の解法に関する一考察 ペアプログラミング利用時の学習状況把握支援 オンライングループディスカッションにおける注視先共有のためのアバタシステムの検討 アジャイル開発人材育成のためのPBL型教育におけるプラクティス : 2022年度プロジェクトの事例 分散システム化による交通流シミュレータの拡張 帰納的推論の計算複雑性 Gaussian process-based confidence estimation for hybrid system falsification 言語要素の選択と組合せが可能な関数型言語処理系生成フレームワーク A functional language with graphs as first-class data 暗黙に相互運用可能なレコードとハッシュテーブルのための型推論とコンパイル手法 An ongoing design of dictating programming that accepts noisy input How many mutex bugs can a simple analysis find in Go programs? データ構造としてのグラフを対象とした型の表現力拡張 代数的エフェクトを持つ2段階計算言語の型システム A general semantic construction of dependent refinement type systems, categorically VR環境における文字入力のための触感を伴ったフリック入力方法 麻雀の役が成り立つ条件の可視化による学習支援システムの提案 耳コピ成果物に対するフィードバックシステムの提案 スマートコントラクト検証器Helmholtzのためのエラー原因提示手法 進化的アルゴリズムを基にしたHearthstoneの行動決定 機械学習を用いたWebページスクリーンショットの分類における前処理方法の考察 プログラムを停止させない定期的な不揮発性メモリへのチェックポインティング マッチング結果の一時保管による非連結グラフ書き換えの最適化 メタヒューリスティクスの適用を効率的に記述するドメイン特化言語 プログラム実行履歴を用いたリグレッションの原因検出に向けて モバイルアプリの自動テストにおける強化学習の利用 動的な進化的探索による自動運転システムの多様な要求違反パターンの検出 渋滞緩和に資するACC制御の効果の確認と新たな車両モデルの提案 より現実に近い渋滞環境の構築と車間距離制御搭載車両の混走による渋滞緩和効果の検証 地域防災計画業務記述5原則の提言 : 自治体防災業務のオープンシステムディペンダビリティ達成に向けて フラット右線形項書き換えシステムの簡約に関する一意正規形性の決定不能性の証明について 正則項書き換えにおける書き換えステップの決定可能性について Scameleer : スマートコントラクト記述言語SCamlのための自動検証器 Visual debugger with a customizable view Attempts on finding cross-language code clones based on text and AST information 記号実行を利用したセマンティックコードクローン検出機構 変数名に対して開発支援を行うための調査と考察 サイバーフィジカルシステムのシミュレーションテストの属性を用いたdefect-proneモジュール予測 ソフトウェアの概念モデルに対する欠陥検知手法の検討 プロジェクト演習での協働作業のためのメソッド及びツール活用の試み
Available onlineNational Diet Library
Table of ContentsCoqによる三角形三色問題の証明 定理証明支援系Coqによるグラフ書換え言語の性質証明 Javaシステムにおけるパッケージ誤りのニューラルネットワークを用いた検出手法 コード内にコメントを入れる時に適切なコメントを例示するシステムの開発 運転挙動の特徴に基づいた自動運転システムのテスティング ソフトウェアテストを評価するためのバグ入りアプリケーションの自動生成 観光地に関するソーシャルメディア投稿の分類手法の提案 Isabelle/HOLによる高階確率的プログラム検証 GSOL : a confluence checker for haskell rewrite rules Decision tree learning in CEGIS-based termination analysis Typecheck Python programs and find semantic idioms 静的型付き言語で動的に生成された型が含むバグの早期発見に向けた研究 Liquid Haskell上での並列プログラムの時間計算量解析 Data-driven refinement type optimization 篩型によるJMLの拡張 血小板による止血機構に基づいた最適化手法 機械学習応用システムの要求工学に関する一考察 : 要求獲得上の課題特定のセンスメイキング論的アプローチ KPIツリーを用いた機械学習プロジェクト管理フレームワーク Flashメモリを併用するスモールデバイス向けメモリ管理システム WebAssemblyを対象にしたSchemeコンパイラの作成に向けて A preliminary design of an easy-to-dictate programming language with pronouns オブジェクトの到達可能性による永続化をリードバリアを使わずに実現するアルゴリズムとその予備評価 アトム変数を用いた名目単一化の実装 レベル付き持続型例外処理機構の設計 ソフトウェア開発PBLにおけるマージコンフリクト調査支援システムの開発 CMMIに基づくPBLにおける学びの質向上のための定量的評価手法の提案 アジャイル型システム開発PBLにおける非同期デイリースクラムの調査 オンライン環境におけるグループディスカッション支援のための注視状況可視化システムの提案 アジャイル開発人材育成のためのPBL型教育におけるプラクティス : 2021年度プロジェクトの事例 大学におけるアジャイルソフトウエア開発教育の展望 ゲームAIのプレイスタイルを生成するためのプレイログのクラスタリングを用いたフレームワーク 解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察 Effective hybrid system falsification using Monte Carlo Tree Search guided by QB-Robustness CUI on Web : ソフトウェア検証やテストCUIのためのモダンWebインターフェース枠組 細粒度履歴追跡のための増分的なリポジトリ変換ツールの設計と実装 情報可視化やインタラクションのためのライブラリSiv3Dの機能強化とC++17, C++20への対応 Attempts on using syntax trees to improve programming language translation quality by machine learning JavaからKotlinへのプログラム変換支援ツールの設計と試作 危険対条件に基づく条件付き項書き換えシステムの階層可換性 制約付き書換え帰納法におけるラグランジュ補間を用いた補題生成 関数リアクティブプログラミングにおける時変値の初期化手法の提案 小規模組込みシステム向けFRP言語における周期的タスクの記述方式 ハイパーグラフ書き換え系への構文駆動でcompositionalな構文・意味論の提案 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察 マクロ木変換器を融合するための高階木変換器の低階化 複数箇所で発生する多head左再帰を扱えるpackrat parser パーサの段階的開発のための対話による文法編集に向けて 非決定性Streaming String TransducerとParikhオートマトンを用いた文字列制約の充足可能性判定 機械学習を用いたソフトウェア安定性分析に関する研究 ものづくりとソフトウェア
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におけるファシリテーションスキル授業の実践と評価について ソフトウェア開発書類の共同編集による合意形成支援 開発要求の精度向上のための提案依頼書の作成支援 解析表現文法の開発支援のためのデバッガの実装と評価
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
- 図書館・個人送信対象外