ヘルプ
ヘルプ

検索結果 1,896 件

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
紙雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
国立国会図書館全国の図書館
  • ISSN0913-5391
  • ISSN-L0913-5391
  •  
  •  
  •  
  •  
  •  
    •  

AR技術に基づく反転講義のための講義映像作成支援システムの試作

AR技術に基づく反転講義のための講義映像作成支援システムの試作
デジタル記事
大囿 忠親, 落合 裕也, 片岡 瞳, 新谷 虎松<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.331-336
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

ASTToken2Vec : An Embedding Method for Neural Code Completion

ASTToken2Vec : An Embedding Method for Neural Code Completion
デジタル記事
Li Dongfang, 増原 英彦<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.91-99
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

Monoidal t-norm論理のCurry-Howard対応

Monoidal t-norm論理のCurry-Howard対応
デジタル記事
木村 武志, 河口 万由香, 田中 章<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.197-205
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

ファズ・データセットを用いたメタモルフィック・テスティング : 機械学習ソフトウェアの検査

ファズ・データセットを用いたメタモルフィック・テスティング : 機械学習ソフトウェアの検査
デジタル記事
中島 震<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.219-226
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

機械学習モデルの解釈手法による競合サービスと比較したレビュー分析

機械学習モデルの解釈手法による競合サービスと比較したレビュー分析
デジタル記事
小野川 稜之, 折原 良平, 清 雄一, 田原 康之, 大須賀 昭彦<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.337-343
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

マルチエージェントモデリングによる選挙制度のシミュレーション

マルチエージェントモデリングによる選挙制度のシミュレーション
デジタル記事
高谷 聡, 芳賀 博英<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.363-368
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

Java全知デバッガを用いた複雑な繰り返し実行のデバッグを効率的に支援する繰り返し要約機能

Java全知デバッガを用いた複雑な繰り返し実行のデバッグを効率的に支援する繰り返し要約機能
デジタル記事
久米 出, 新田 直也, 中村 匡秀, 柴山 悦哉<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.63-75
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

実践的人材育成コースにおける自己評価と客観評価にもとづく社会人基礎力の分析

実践的人材育成コースにおける自己評価と客観評価にもとづく社会人基礎力の分析
デジタル記事
福安 直樹, 佐伯 幸郎, 神田 哲也, 市川 昊平, 吉田 真一, 中村 匡秀, 楠本 真二<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.45-50
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

帰納的プログラミングの初等教育の試み

帰納的プログラミングの初等教育の試み
デジタル記事
西澤 勇輝, 丸山 宏<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.163-168
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

SML#の動的型付け機構

SML#の動的型付け機構
デジタル記事
大堀 淳, 上野 雄大<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.123-128
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

Negotiation Protocol in Traffic Routing for Priority Vehicle

Negotiation Protocol in Traffic Routing for Priority Vehicle
デジタル記事
Krishna Priawan Hardinda, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.345-350
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

高度な運算定理のCoqによる証明とその自動化

高度な運算定理のCoqによる証明とその自動化
デジタル記事
村田 康佑, 江本 健斗<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.105-121
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

変数を埋め込んだ自由文でホーン節を構成する論理プログラミング環境へのホーン節機械学習機能の付与

変数を埋め込んだ自由文でホーン節を構成する論理プログラミング環境へのホーン節機械学習機能の付与
デジタル記事
中村 圭介<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.77-82
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

カバレッジに基づくファジングツールの比較評価

カバレッジに基づくファジングツールの比較評価
デジタル記事
都築 夏樹, 吉田 則裕, 戸田 航史, 山本 椋太, 高田 広章<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.149-154
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

Verification of memory access for deep learning compilers

Verification of memory access for deep learning compilers
デジタル記事
Tung D. Le, Swagath Venkataramani, 小川 愛理, 井上 拓, 石崎 一明, 小原 盛幹<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.261-272
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

SML#とMassiveThreadsの統合による超並列言語の実現

SML#とMassiveThreadsの統合による超並列言語の実現
デジタル記事
上野 雄大, 大堀 淳, 田浦 健次朗<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.1-4
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

GitHub習熟度評価手法の提案とシステム開発PBLにおける習熟度評価の試み

GitHub習熟度評価手法の提案とシステム開発PBLにおける習熟度評価の試み
デジタル記事
伊藤 恵, 松原 克弥, 冨永 敦子<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.27-33
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

競技プログラミングコンテストの提出プログラムを利用した記号実行ツールKLEEの定量的評価

競技プログラミングコンテストの提出プログラムを利用した記号実行ツールKLEEの定量的評価
デジタル記事
岡野 兼也, 吉田 則裕, 山本 椋太, 高田 広章<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.139-148
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391

Why3を用いた区間べき関数のプログラム検証

Why3を用いた区間べき関数のプログラム検証
デジタル記事
村上 椋星, 薮 智仁, 石井 大輔<Z14-1245>日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編36:2019.8.27-29p.15-21
国立国会図書館全国の図書館
  • 掲載誌（ISSN）0913-5391
  • 掲載誌（ISSN-L）0913-5391