- Mikan OS (written in Rust) anosatsuk124/mikanos-rs
- Nand2Tetris (with SystemVerilog and Rust) anoatsuk124/nand2tetris-verilog-rs
- Works db (Co-developer, written with Rust. Web app about the meta-data of musics ) team-vinu/works-db
- x86 assembler from scratch (written in Rust) anosatsuk124/viterum-asm-rs
- Toy x86 C-compiler from scratch (written in Rust) anosatsuk124/viterum-cc-rs
- SLDL (Structured License Description Language) reference implementation written in Rust anosatsuk124/SLDL
- Viteditor-rs is flexible (using Terminal UI, Web UI etc.) and extensible interfaced simple text editor written in Rust anosatsuk124/viteditor-rs
- Binrobot is a game for any language and its programmer. It is inspired by Robocode anosatsuk124/binrobot
- Low-level programming
- Analytic philosophy (In particular, Ontology on Philosophy of science and Philosophy of mind.)
- Pure math (In particular, Foundation of Mathematics.)
- Machine Learning (In particular, Natural Language Processing. And for Cyphanese Project.)
- Linguistics (In particular, Formal Semantics.)
- Pharmacy (In particular, Neuropharmacology about Central-nervous system.)
| Attribute | Value |
|---|---|
| Registered name | 秋葉 沙都季 (Satsuki Akiba) |
| DOB | 2003-01-24 |
| Native speaker of | Japanese language, Sapporo, Hokkaido dialect |
| Other languages | English, Chinese |
| Learned languages | Korean, Lojban, Toki Pona, Tok Pisin, Turkish, Armenian, Latvian, Latin, Spanish, Old Chinese, etc. |
| Skilled programming languages | Haskell, R, Purescript, Hylang, Rust, Haxe, Python, Typescript, C#, Nim, C++ |
| Favourite programming languages | Haskell, R, Purescript, Common Lisp, Hylang, Rust, Haxe, OCaml, x86 assembly, webassembly, Nim |
- A Preparatory committee member of Human-life Information Platforms Institute
- The Cyphanese Team lead
- A Virtual World Alubis member (History of thoughts and science)
- 2019: In JOL(Japanese Olympiad in Linguistics), won a prize
- 2023-: An executive director at Human-life Information Platforms Institute
| Domain name | Status(es) | Description |
|---|---|---|
| levome-dol.com | At home | Using for private |
| levome-dol.com | At home in Tokyo | Using for private |
| E2EE-pubkey | |
|---|---|
| anosatsuk124@gmail.com | https://raw.githubusercontent.com/anosatsuk124/Openpgp-pubkey/main/pubkey.asc |
- 低レイヤプログラミング
- 分析哲学 (特に、科学哲学の存在論と心の哲学)
- 純粋数学 (特に、数学基礎論)
- 機械学習 (特に、自然言語処理)
- 言語学 (特に、形式意味論)
- 薬学 (特に、中枢神経系に関わる神経薬理学)
| Attribute | Value |
|---|---|
| 戸籍名 | 秋葉 沙都季 (Satsuki Akiba) |
| 生年月日 | 2003-01-24 |
| 母語 | 日本語北海道札幌方言 |
| その他の言語 | 英語、中国語 |
| 既習言語 | Korean, Lojban, Toki Pona, Tok Pisin, Turkish, Armenian, Latvian, Latin, Spanish, 漢文, etc. |
| 使えるプログラミング言語 | Haskell, R, Purescript, Hylang, Rust, Haxe, Python, Typescript, C#, Nim, C++ |
| 好きなプログラミング言語 | Haskell, R, Purescript, Common Lisp, Hylang, Rust, Haxe, OCaml, x86 assembly, webassembly, Nim |
- 法人設立準備委 (生活情報基盤研究機構)
- Cyphanese チームリーダ
- 仮想世界 Alubis メンバ (思想史/科学史分野)
- 2019: 日本言語学オリンピック入賞
- 2023-: 業務執行理事 (生活情報基盤研究機構)
| Domain name | Status(es) | Description |
|---|---|---|
| levome-dol.com | At home in Hokkaido | Using for private |
| levome-dol.com | At home in Tokyo | Using for private |
| E2E 暗号公開鍵 | |
|---|---|
| anosatsuk124@gmail.com | https://raw.githubusercontent.com/anosatsuk124/Openpgp-pubkey/main/pubkey.asc |