人に危害を及ぼさない対話型システムの開発では，ユーザが様々な操作をしてもシステムが安全であることを検証することが重要である．このような検証を支援するために我々はこれまで，性格特性に基づくユーザモデリングの方法や，ユーザモデルとモデル検査によるシステム安全性検証の方法を検討してきた．しかし，手法利用者は完全に手動でユーザモデリングをしなければならない課題があった．そこで本論文では，ユーザモデルを系統的に得やすくするために，ユーザモデルを半自動生成する手法を提案する．有効性評価のために提案手法を踏切制御システムのモデル事例に適用した結果，性格特性に起因する危害発生例が示せただけでなく，様々なバリエーションのモデルが得られたことで妥当な指摘を行うこともできたため，提案手法が有効である見込みを得た．

プログラミングコンテストでは多数のプログラミング問題が公開されており，それらは初学者向けの有益な教材になりうる．しかしながら，そこでは問題文が物語調で書かれていることが多いため問題間の類似性評価が難しく，適切な問題の自動推薦に影響を及ぼしていた．そこで本論文では問題文の代わりにそれに正解しているプログラムに注目し，プログラムのベクトル表現に基づいて問題間の類似性を評価する手法を提案している．さらに，解答履歴データと組合せた問題推薦手法も新たに提案し，評価実験を通じてその有用性を示している．

これまでに行われたマイクロサービスに含まれるコードクローンの研究は，小規模なものにとどまっている．本研究では，12言語で開発された284個のプロジェクトを対象としてマイクロサービスに含まれるコードクローンの調査を行った．その結果，C#とJavaのコードクローンが保守性を低下させていることがわかった．

画像認識モデルにおいて，正解となる対象物とは異なる部分を根拠に画像を予測してしまっている問題がある．そのため，根拠が正しいかどうかを比較することでモデルの評価ができないかと考えた．そこで，画像認識モデルの予測に対してLIMEを用いて判断根拠を可視化し，その判断根拠の一致する数でポイント数を求め，合計ポイント数が高い画像認識モデルを良い評価とする手法を提案する．前提として，判断根拠を比較することでモデルを評価することができるかを調べるためにImageNetの評価用データを使用して目視によってモデルの判断根拠を比較する予備実験を行った．その結果，モデルごとの差が出ており評価は可能であることがわかった．また，同じ評価用データを使用して12種類の学習済みモデルを対象に提案手法の評価実験を行った．評価実験の結果，DenseNet-121とResNet-50が最も良いモデルだといえ，目視での確認による評価の縮小版として提案手法には一定の有用性があると考える．ConvNeXtのように最も正解をしているにもかかわらず判断根拠が他のモデルとは異なっていることからポイント数が低くなる場合もあり，正しい判断根拠で正解しているにもかかわらず本論文での提案手法では悪いモデルと区別されてしまう問題もあった．

定量的管理手法の評価において欠損値に対する評価も重要である．しかし，評価のために様々な欠損値を含むデータセットを用意することは難しいため，データセットに疑似的に欠損値を与えることが行われる．従来，欠損メカニズムに則っているとは言い難い欠損データ作成手法が使われてきたが，我々は，欠損確率に基づく欠損データ作成手法を提案している．本論文では，提案手法と従来手法について欠損メカニズムに則っている欠損値作成法が満たす観点に基づいて評価を行う．評価実験の結果，提案手法の方が欠損メカニズムに則っているといえる結果が得られた．

ソフトウェア規模を計測するIFPUG法は正確に計測できる一方，計測に必要な作業時間が長くなる傾向がある．そこでSimple FP法や画面数などを簡素化した規模として用いられている．本稿では，Simple FP法を日本のソフトウェア開発に適用した場合の精度を明らかにするとともに，上流工程工数を併用することにより，Simple FP法や画面数に基づいた工数見積もりの精度を改善できることを示した．

数十年にわたって稼働してきたシステムを刷新する，モダナイゼーションの需要は大きい．モダナイゼーションの失敗リスクを軽減する戦略として，システムの一部を切り出す段階的再構築が提案されている．しかし，企業においては，段階的再構築の費用対効果の試算は難しい．実際に我々の企業で段階的再構築を実施した事例では，計画当初の見積りと実績値の乖離が発生している．そこで本研究では，システムの依存関係分析を用いた段階的再構築の費用対効果を試算する手法を適用し，その妥当性を調査する．適用手法は，システムの規模と依存関係の情報を用いることで，費用として段階的再構築に必要な工数を，効果として削減可能な保守開発工数を試算する．調査では，依存関係分析を用いた試算結果と実績値を比較し，適用手法の妥当性を評価した．

本研究では，Pythonプログラミング演習における初学者が行うエラー修正活動の試行錯誤の実態を定量的に明らかにすることを目的として，編集内容および入力操作に着目した分析を行う．プログラミング演習において収集したデータに対する分析の結果，入力の操作を伴う試行内容に時間を要し，編集量も多くなることが明らかとなった．また，初学者のエラー修正活動において，編集過程で一時的に付け加えられるが最終的に削除されるトークンがあり，エラー修正までの試行回数が多くなるほどそのようなトークンの割合は増加することが明らかとなった．これらの結果は，初学者は段階的にエラーを修正することはなく，修正手順の長さが長いとエラー修正に関係のない変更を行っている割合が高くなることを示している．