作成: 2025-07-29 00:14
高専4年 情報科
広くコンピューターと言語に興味があり、両方が交わるIMEやキーボードの論理配列などには特に興味があります。Alternative Typing Contestに自作配列で提出したことがあります。2025は優勝しました。競技プログラミングもしています。ゲームも好きです。今は崩壊スターレイル(マネーウォーズのみ)とGregtech CEu modernを遊んでいます。
各種リンク
できること
基本上からできる順です 今も定期的に使う - 触ったことがある くらいの感覚ですが、あんまり参考にならないかも
- Python3
- WSL Ubuntu
- TypeScript
- Godot
- GitおよびGitHub
- HTML/CSS/JavaScript
- React
- Next.js
- prisma
- vercel
- SATySFi
- ocaml
- microCMS
- Unity
- Apache HTTP Server
- Deeds-DCS
- jekyll
- C++
- Arduino
- Ambient
- RealVNC
- micro:bit
- Tera Term
- WireShark
やってみたい・やりたいこと
副作用こそプログラミングのすべてであるというのもわかるし、そうではなくて型システムで静的解析できるものが全てであるというのもわかるので、その両取りができる言語及び機能に興味があります。
- koka 代数的エフェクトで副作用を統一的に扱えるのに非常に魅力を感じています forが関数になっているとか、minimum but generalというのがshemeとかの本当に必要な言語機能だけを取り入れるという感じで良い メモリ確保をうまいことやっているperceusというのも面白そう
- Rust
日本語入力に興味があります。
- 自作配列の使えるタイピングゲームの作成
- 計算で漢直作成
作ったもの・関わったもの
- プログラミングを初めて4ヶ月弱の頃に作成したプログラム
- プログラミングを始めて8ヶ月の頃に作成したプログラム
- プログラミングを始めて9ヶ月の頃に作成したプログラム
- プログラミングを始めて10ヶ月の頃に作成したプログラム
- 2023年の文化祭で出したタイピングゲーム(複数人で制作)
- 2024年の文化祭で出したパズルゲームのweb板(複数人で制作)
- 高専3年の実験で作った報告書
- React学習用に作ったtodo管理
- ReactとNext.jsで作成しデータベースをSupabaseで、ホスティングをVercelでおこなっているSNS
- 応用専門PBL1という授業で作成した学食注文システム ユーザー名を123、パスワードを456として入力することでテストユーザーでログインできます
- 2024年度のnaist stellaプログラムで作った手書き数式のデータセット
最終更新: 2026-01-22 00:00