Avatar

Shunsuke Shibayama (芝山駿介)

自己紹介

物理学(特に場の量子論、量子計算、量子情報、計算物理)と計算機科学(特に型理論、プログラミング言語)に興味のある大学院生です。

プログラミング言語については、興味が高じてErgというプログラミング言語を開発するようになりました。

資格

  • 学士(物理学)
  • 普通自動車第一種免許
  • CGエンジニア検定エキスパート

受賞歴

  • 2023年度未踏IT人材発掘・育成事業 スーパークリエータ

趣味

  • 映画鑑賞(洋画多め)
  • 写真
  • 音楽(Spotify)
  • 読書(本ページで書評などを書いていく予定)

Posts

Re: 虚数の存在/実在についての議論について思うこと

disclaimer: 私は一介の修士課程物理学徒に過ぎないので,眉に唾をつけて聞いて下さい.言い訳がましいですが,本文に出てくる具体例はすべて私の気持ちの修飾として用いた
2024-07-25
5分読む

未踏'23を終えて

はじめに 先日、2023年度未踏IT人材育成・発掘事業の修了式に参加しました。 大層な盾をもらいました 私が未踏でやったことについてはプロジェクト概要や成果
2024-06-23
20分読む

Pythonに苦しむ人々のツイート

NumPyの上に積み上げられた資産が多すぎて事実上Pythonにロックインされてるだけで、僕はRust使えるならRust使いたいよ — Odashi (@odashi_t) May 23, 2023 「歴史改
2024-02-15
3分読む

LSPのWeb本を書きました

Language Server Protocol(LSP)に関する知見をまとめた本を書きました。 Zenn Leanpub どちらも無料で読めます。
2023-10-01
1分読む

2023年度未踏IT人材発掘・育成事業に採択されました

表題の通り、未踏に採択されました。竹迫良範PMのもとで「Pythonにトランスパイル可能な静的型付けプログラミング言語の開発」をやっていきます。 「Py
2023-06-02
1分読む

Tech

Minecraftサーバーをバックアップする

MODのバグによるデータの破損やアイテム全損時のリカバリーのために、Minecraftサーバーのデータを何らかの方法でバックアップしておきたいと思った
2024-07-17
7分読む

Ubuntuにpyenvを導入する

備忘録。試した環境はWSL2のUbuntu 22.04.1 LTSです。 curl https://pyenv.run | bash # make, gccはインストール済みとする sudo apt install zlib1g-dev libssl-dev 後は.bashrcに以下を追記。 export PATH="$HOME/.pyenv/bin:$PATH" sou
2022-10-31
1分読む

Hello World

Hello, world!
2022-08-20
1分読む

Diary

2022年のまとめ

ギリギリですが、本年の所感です。 今年はErgを公開したりTwitterを始めたり、インターネット上で色々動いた年でした。 まあこれに尽きてしまうのですが
2022-12-31
1分読む

2022/12/11

Python静的解析ツールを作っています。まだモジュール周りの対応が出来てないのでリポジトリは公開してませんが。 Ergの型検査器をPythonに使うこ
2022-12-12
1分読む

2022/11/24

この前言っていたWeb IDEがあらかた出来上がりました。 Erg Web IDE 入力補完や型検査も出来ます。更に仮想ファイルシステムも実装しました(実際はLocalSt
2022-11-24
1分読む

2022/11/18

今日はErgのWeb REPLを作っていました。 Erg playground 初回の入力だけもっさりしていますが、これは処理系の初期化のためです。 どういうカラクリかというと、Ru
2022-11-19
1分読む

2022/11/16

Erg 0.5.12をリリースしました。 このリリースでは有志の方によりエラー表示の改善とstream operator(|>)が使えるようになりました。
2022-11-16
2分読む

経歴

早稲田大学 大学院

Tokyo, Japan
2024 - Present
  • 所属: 先進理工学研究科 物理学及応用物理学専攻

早稲田大学

Tokyo, Japan
2020 - 2024
  • 所属: 先進理工学部 物理学科

早稲田大学本庄高等学院

Saitama, Japan
2017 - 2020
  • 所属部
    • 将棋部
    • スーパーサイエンスクラブ