Interests

Typography
- Programming language for automatic typesetting
  - SATySFi
    - Typeset source code library [GitHub Repository]
    - Flexible setting able SATySFi class file: [GitHub Repository]
    - Documentation for SATySFi tutorial: [GitHub Repository]
    - A mdbook backend for generating SATySFi documents: [GitHub Repository]
    - Hosted some events:
    - Japanese-style ruby（ルビ） library: [GitHub Repository]
  - LaTeX
    - Easy creation of “arithmetical restoration” puzzles: [CTAN Repository]
- Created some booklets
  - Club activity booklets at high school: 二ポリ(lang:ja)
  - Graduation essay collection at high school
  - New student welcome booklet at university: 筑波大学情報学群情報科学類新入生歓迎委員会(lang: ja)
  - Journal at university: WORD Press(lang:ja)
Computer
- Parsing, converter and formatter
  - LL(1) token parser generator: [GitHub Repository]
  - XML parser with SATySFi: [GitHub Repository]
  - Bib format parser and converter: [GitHub Repository]
  - Formatting library: [GitHub Repository]
  - OPAM file parser with Rust: [GitHub Repository]
  - Parsing for combined emoji: [GitHub Repository]
- Analysis of Japanese laws : [Project Link]
- Programming Languages
  - Rust
  - OCaml
  - SATySFi
Photograph
- https://photo.puripuri2100.site/
- Cameras
  - Nikon Z6
  - Nikon D7500
  - Nikon F3
- Lenses
  - NIKKOR Z 24-70mm f/4 S
  - NIKKOR Z 70-180mm f/2.8
  - AF-S DX NIKKOR 18-140mm f/3.5-5.6G ED VR
  - Sigma 100-400mm F5-6.3 DG OS HSM
  - Sigma 35mm F1.4 DG HSM
  - Sigma 18-250mm 3.5-6.3 MACRO HSM

Affiliation

University of Tsukuba
- College of Information Science (2022/04 - now) : [WEB Page]
  - Studing Computer Science
  - 2nd year of Bachelor's course
- Academic Collaboration Promotional Laboratory(2022/05 - now) : [WEB Page]
  - 筑波大学情報学群情報科学類産学間連携推進室
  - Student leader (2023/03 - now)
- School Festival Executive Committee of University of Tsukuba (2023/04 - now) : [WEB Page]
  - 情報メディアシステム局 2023
Kaisei Senior High School (2019/04 - 2022/03): [WEB Page]
Kaisei Junior High School (2016/04 - 2019/03): [WEB Page]

Open-Source Softwares

Maintenance

mdbook-satyfi
- A mdbook backend for generating SATySFi documents.
satysfi-code-printer
- Typeset source code with SATySFi
BibSATySFi
- Convert Bib file to SATySFi file
SATySFi-json
- json parser for SATySFi
opam-file-rs
- Parser and printer for the opam file syntax with Rust
yojson-rs
- yojson parser for Rust
ralcu
- 高機能電卓
photag
- 画像に情報を付ける
dlm
- 電気係貸出管理ソフトウェア
camlton
- Nondeterministic Finite Automaton with OCaml

Contribution

SATySFi
- A statically-typed, functional typesetting system
satyrographos
- Package manager for SATySFi
SoftEtherVPN
- Cross-platform multi-protocol VPN software. Pull requests are welcome. The stable version is available at https://github.com/SoftEtherVPN/SoftEtherVPN_Stable .
book-ja
- Rust文書の和訳レポジトリ

Talks

カスタマイズ可能なクラスファイルについて
SATySFiを使用したMarkdownからLaTeXへのファイル変換について
- Online.tex 2020
- Slide (lang: ja)
mdbookのプラグインを作る話
- 【初心者歓迎】Rust LT会@オンライン
- Slide (lang: ja)
mdbook-satysfiを作成しました
- SATySFi Conf 2021
- Slide (lang: ja)
ユーザーがカスタマイズできるクラスファイル ―v0.0.x と v0.1.x それぞれでの実装―
- SATySFi Conf 2022
- Slide (lang: ja)
研究の場においてのRust 製ソフトウェアのバージョン管理について
- 人工衛星の開発現場でLT大会〜地上と宇宙で活躍するRust〜
- SLide (lang: ja)
法律文書の自動解析
- 筑波大学情報学群情報科学類産学間連携推進室成果報告会
- SLide (lang: ja)

Profile

Contact

Interests

Affiliation

Open-Source Softwares

Maintenance

Contribution

Papers & Articles

Awords

Talks