岩手県立大学ソフトウェア情報学部のPBL科目である「プロジェクト演習」は，1年生から3年生までが同時に受講する必修科目であり，3学年が混成でプロジェクトを組み，3年間繰り返し受講することが特徴である．本稿では，プロジェクト演習の内容と実践結果について述べる．評価の結果，学年混成と繰り返し受講することは学生や教員に肯定的に捉えられ，学年を追うごとに周辺的な参加から徐々に中核的な役割を担っていく様子が明らかになった．また，学生の自己評価の3年間の経年変化を分析したところ，成長の実感が向上と減少を繰り返しながらも段階的に高まっていくことが示唆された．一方で，学年がはさまれる2年生の役割が複雑化するなどの，学年混成ならではの問題も明らかとなった．

Project Based Learning (PBL) is a teaching and learning method in which students actively solve real-world problems and gain knowledge and skills. The teaching experiences, materials, and methods for PBL have diversity and are not shared with universities. The Faculty Development – Working Group (FD-WG) performs to share them with universities but the sharing method does not mainly use active learning. We present the Faculty Development (FD) camp for PBL, in order to share them with active learning for reducing education costs. The FD camp provides the place of discussing the PBL to the participants, in order to solve problems of PBL. We hold four FD camps with Open Space Technology (OST), which was a simple way to run productive meetings. Evaluations in questionnaires showed that almost all participants had good impressions in the FD camp with OST. We learned five lessons from four FD camps.

「実践力」．昨今，情報技術に関連する教育課程でよく目にする言葉である．ソフトウェア開発分野において，はたしてこの「実践力」とは，具体的にどのような力だろうか．特に，新卒生や社会人若年層は，実際の開発現場でなにができたら実践力を発揮していると言えるのだろうか．本研究では，ソフトウェア開発分野における実践力について調査し，得られた結果から仮説を導き，実際に教材を試作試行して，効率よく実践力を学ぶための方法を提案することを目的としている．我々は社会で実践力を発揮して活躍している人々へのインタビューによる調査を進めており，現在のところ開発の現場で求められている実践力とは，一般的に言われるジェネリックスキルではなく，技術的問題を解決するための技術力であるという圧倒的意見を得ている．本稿では，その調査結果と，今後の展望について報告する．

IoT機器の情報セキュリティを保証するために不可欠な技術の1つである暗号技術に関する実践的な演習科目を開発した．開発した演習は，現代暗号の基礎となっている代数学や離散数学の座学，暗号アルゴリズムのハードウェア実装，そして実装した暗号ハードウェアへのサイドチャネル攻撃実験で構成される．本演習では，暗号アルゴリズムの教科書的な知識を学ぶだけでなく，受講生自身が暗号アルゴリズムを市販ハードウェアへ実装し，その実装ハードウェアへの攻撃を実行することで，実用上の脅威を体験し，そのような脅威を考慮して暗号アルゴリズムを実装する重要性を理解することを目標としている．本演習を学部3, 4年生50名に対して実施し，ほぼ全員がこの目標を達成した．さらに受講生へのアンケートによると，ほぼ全ての受講生が暗号技術に関する実践力向上を実感する結果を得た．

ソフトウェア工学において，ソフトウェア開発データを分析・可視化し，エビデンスに基づく意思決定を支援するソフトウェアアナリティクスが注目されている．分析や可視化の技術は多数提案されているが，独立して開発されているため，実務者や研究者にとって様々な技術を統一的に活用することは容易でない．そこで我々は，オープンなソフトウェア開発データを有用な形式で公開し，複数の可視化を提供するWebサービス，Codosseumを開発した．具体的には，現在，メソッドレベルの履歴の可視化・リポジトリ提供，コミュニティメンバの経験期間による人口構成可視化，ソースコード都市可視化サービスを提供している．こうしたサービスをSoftware as a Serviceとして提供することで，一般ユーザや実証的ソフトウェア工学研究者が容易にかつ無料でデータや可視化サービスを利用することを可能にしている．

本論文では，Banerjeeらのオブジェクト指向言語に情報流解析のための機密度に関するパラメトリック多相を導入する．情報流解析は機密情報の流出可能性の検出に有用である．しかし，型検査に基づく情報流解析ではプログラム中に型として機密度を指定する必要があるため，コレクションフレームワークのような任意の機密度のデータを扱うクラスを定義できない．そこで，機密度をパラメータに取るクラス定義と機密度パラメータを含む機密度の構造を提案する．機密度パラメータにどんな機密度が割り当てられても，型付け可能なプログラムは機密情報を流出させないことを保証できる型付け規則を構築し，非干渉性に対して健全であることを示す．

あらゆるデバイスがインターネットを介して繋がるIoT時代において，我々はそれらデバイスの利用により大きな利便性を享受できる一方，第三者からの攻撃を意識している利用者は決して多くはない．利用者がそういった意識を持つことはもちろん有意義なことであるが，それらデバイスを提供する側の人間は，より一層専門的な知識と意識付けが必要である．とりわけ，情報系の学部生など，エンジニアや研究者として第一線での活躍を目指す人材においてその必要性が顕著であり，「成長分野を支える情報技術人材の育成拠点の形成プログラム」であるenPiTでは，学部生に最先端の情報技術を学ぶ機会を提供し，社会の具体的な課題に対する解決力を身に付けた人材の育成を目指している．本稿では岡山大学で行われたenPiT-Security先進PBL演習Gの取り組みを紹介し，受講生の感想を踏まえて演習の有用性や改善の余地について述べる．

Java Webアプリケーションの運用中や性能テスト中に実行時例外が発生した場合，限られたログからは例外発生までの詳細な動きと値が確認できないため，問題の切り分けに時間がかかる．Selective Capture/Replay手法を使うと，事前に選んだモジュールから採取した実行履歴に基づいて，任意の時点のモジュールの動きと値を再生調査することができる．しかし，モジュールへの全入力を外部出力する負荷が大きいため，再生対象のモジュールを少数だけ事前に選ぶ必要があることから，予期しない実行時例外の調査には適さない．本論文では，より多数のモジュールについて例外発生までの動きと値を再生調査できる実行履歴の低負荷な採取手法として「再生可能スタックトレース」を提案する．提案手法は，モジュール内の一部コードの直近の実行結果を常にメモリに一時記憶しておき，例外発生時にコールスタックを辿り一時記憶中の値を外部出力するものである．実行履歴に基づき，例外発生までの各コードの直近の実行結果を再生し提示することで，呼び出し階層を跨ぐ例外発生までの詳細な動きと値が確認できる．

情報処理学会では2012年度から毎年国際的な人工知能プログラミングコンテストを開催している．筆者は2015年度から2年連続でコンテストに参加し，2015年度は準優勝，2016年度は優勝の成績を収めることができた．2015年度と2016年のコンテストの題材は基本的なルールは共通するが，ゲーム性が大きく異なる不完全情報ゲームであった．本論文では2015年度のコンテストや関連研究と比較しながら，2016年度で作成したソフトウェアに関する4つの手法について紹介し，その評価を行う．紹介する4つの手法は，不完全情報ゲームにおけるメタ節点，メタ行動を用いたゲーム木の構築手法，SIMD (Single Instruction Multiple Data)とBMI (Bit Manipulation Instruction sets)命令を用いたビットマップ演算の高速化手法，公開されていない情報の正確な推測の手法，メタ評価値などを用いた評価値の計算手法の4つである．また，2度のコンテストにおいて得られた知見について紹介する．