クラウド、仮想化、低レイヤ、Web開発を学ぶ大学院生です。

About

松山慎のプロフィール写真

京都産業大学大学院で、コンピュータシステムの信頼性や仮想化技術について研究しています。表面的に動かすだけでなく、OSや仮想化基盤など、システムの内側で何が起きているのかを理解することに関心があります。研究で低レイヤ技術に取り組む一方、GoやReactを使ったWebアプリケーション開発、DockerやTerraformを使ったインフラ構築にも取り組んでいます。

生年月日
2004年 1月 22日
出身
京都府
所属
京都産業大学大学院 先端情報学研究科
専攻分野
ディペンダブルシステム
興味のある分野
  • クラウドインフラ
  • SRE
  • OS・仮想化
  • Unikernel
  • Webアプリケーション開発

Career

  1. 2022年4月

    京都産業大学 情報理工学部 情報理工学科 入学

  2. 2024年9月

    京都産業大学 林原研究室配属

    Unikernelアプリケーションにおけるライブラリ依存関係の可視化とファイルアウォールの自動制御機構の実装を行う
  3. 2026年3月

    京都産業大学 卒業

  4. 2026年4月

    京都産業大学大学院 先端情報学研究科 先端情報学専攻 入学

    Unikernelアプリケーションにおけるシステムコール監視機構の実装を行う
  5. 2028年3月

    京都産業大学大学院 先端情報学研究科 先端情報学専攻 修士課程 修了予定

Research

Unikernelアプリケーション向けファイアウォール自動設定機構の実装

Unikernelアプリケーションが利用するライブラリの依存関係を解析・可視化し、その構成情報をもとにファイアウォールルールを自動生成する研究に取り組んでいます。アプリケーションの動作に必要な通信のみを許可することで、設定作業の負担や設定ミスを減らし、安全な実行環境の実現を目指しています。

  • Unikernel
  • Unikraft
  • Iptables
  • QEMU
  • KVM
  • Graphviz
  • Nmap
研究の詳細を見る

Unikernelアプリケーションに対するVMIベースのシステムコール監視

軽量な実行環境であるUnikernelを対象に、Virtual Machine Introspection(VMI)を利用して、仮想マシンの外部からシステムコールを監視する研究に取り組んでいます。QEMU/KVMを改修し、ゲストOS内部に監視用エージェントを導入せずに、実行時の振る舞いを取得する仕組みを開発しています。

  • Unikernel
  • Unikraft
  • VMI
  • QEMU
  • KVM
  • System Call
  • Observability

Projects

準備中です。近日公開予定です。

Skills

Frontend

  • HTML
  • CSS
  • JavaScript
  • TypeScript
  • React
  • Next.js

Backend

  • C
  • Java
  • Python
  • Rust
  • PHP
  • Go
  • REST API
  • Node.js

Database

  • MySQL
  • SQLite
  • PostgreSQL
  • Maria DB
  • Redis

Infra/OS

  • Linux
  • Ubuntu
  • Nginx
  • Apache
  • Docker
  • Kubernetes
  • AWS
  • さくらのクラウド
  • Terraform
  • GitHub
  • GitHub Actions

Research

  • QEMU
  • KVM
  • Unikraft
  • VMI

Contact

技術や研究について、お気軽にご連絡ください。