「02896540*」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 4,385 件

タイトルでまとめる

第40巻総目次

紙記事

<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.96-97

国立国会図書館全国の図書館

Java Fluent APIの生成器Silverchain (特集ソフトウェア論文)

紙記事

中丸智貴<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.3-14

国立国会図書館全国の図書館

アヤトゥス・カルタの拡張によるユーザ視点に基づくMVP抽出手法の提案と評価 (特集ソフトウェア工学の基礎)

紙記事

田中貴子, 斎藤忍<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.36-49

国立国会図書館全国の図書館

スマホゲームにおける課金誘導方法の分析

紙記事

麻生直希, 西浦生成, 笹倉万里子, 門田暁人<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.75-81

国立国会図書館全国の図書館

再帰ニューラルネットワークを用いたオドメトリ情報からの自己位置推定の精度改善

紙記事

千代英一郎<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.82-88

国立国会図書館全国の図書館

コンピュータソフトウェア

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

国立国会図書館全国の図書館

正規表現の記述支援を目的とした意味情報に基づく用例検索システム

紙記事

竹重拓輝, 柗本真佑, 楠本真二<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.68-74

国立国会図書館全国の図書館

Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis (特集プログラミングおよびプログラミング言語)

紙記事

Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Mirai Ikebuchi, Koji Nakazawa<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.50-67

国立国会図書館全国の図書館

LineairDB : エポック同期を活用したトランザクショナルストレージエンジン (特集ソフトウェア論文)

紙記事

中園翔, 別所祐太朗, 中森辰洋<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編41(1):2024.2p.15-35

国立国会図書館全国の図書館

第29回ソフトウェア工学の基礎ワークショップ(FOSE2022)開催報告 (特集ソフトウェア工学の基礎)

紙記事

角田雅照, 柗本真佑, 沢田篤史<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.3-9

国立国会図書館全国の図書館

Decidable entailment checking for concurrent separation logic with fractional permissions

紙デジタル記事

Yeonseok Lee, Koji Nakazawa<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.67-86

国立国会図書館全国の図書館

Fault-proneモジュール予測における第三者データに基づいた外れ値除去 (特集ソフトウェア工学の基礎)

紙記事

西浦生成, 門田暁人<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.22-28

国立国会図書館全国の図書館

プログラミング演習におけるセグメントを用いたソースコードの誤り範囲特定方法の提案 (特集ソフトウェア工学の基礎)

紙記事

澤田侑希, 梅田祐一郎, 蜂巣吉成, 吉田敦, 桑原寛明<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.29-36

国立国会図書館全国の図書館

コードクローン検出に基づくIoTを対象とした自動パッチ生成 (特集ソフトウェア工学の基礎)

紙記事

大野堅太郎, 吉田則裕, 朱文青, 高田広章<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.47-53

国立国会図書館全国の図書館

ストレージストラテジーによる組み込み向けJavaScriptバーチャルマシンのメモリ使用量の削減

紙記事

永谷龍彦, 鵜川始陽<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.54-66

国立国会図書館全国の図書館

Reliability Evaluation Framework for Obfuscating Transformations in Program Code (特集ソフトウェア工学の基礎)

紙デジタル記事

Tetsuya Kitaoka, Yuichiro Kanzaki, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.37-46

国立国会図書館全国の図書館

多言語T5モデルへのPythonコードの追加学習 (特集ソフトウェア工学の基礎)

紙記事

梶浦照乃, 相馬菜生, 佐藤美唯, 倉光君郎<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(4):2023.11p.10-21

国立国会図書館全国の図書館

Waffle : A Flexible Framework for Large-scale Social Simulation Experiment

紙デジタル記事

Shunki Takami, Masaki Onishi, Itsuki Noda<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(3):2023.8p.29-49

国立国会図書館全国の図書館

安全性分析の新潮流と事故分析手法STAMP/CAST

紙記事

金子朋子<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(3):2023.8p.73-87

国立国会図書館全国の図書館

Coqによる三角形三色問題の証明

紙記事

橋本翔太, 木村大輔<Z14-1033>コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会編40(3):2023.8p.2-15

国立国会図書館全国の図書館