Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/anosatsuk124/anosatsuk124


https://github.com/anosatsuk124/anosatsuk124

Last synced: about 2 months ago
JSON representation

Awesome Lists containing this project

README

        

# ゐてるま

[![wakatime](https://wakatime.com/badge/user/018c101f-37ef-4a09-ba41-30c2ab38951b.svg)](https://wakatime.com/@018c101f-37ef-4a09-ba41-30c2ab38951b)
![Language: ja](https://img.shields.io/badge/lang-ja-pink)
![Language: en](https://img.shields.io/badge/lang-en-purple)
![Language: zh](https://img.shields.io/badge/lang-zh-purple)
![Language: jbo](https://img.shields.io/badge/lang-jbo-purple)
![Language: tpi](https://img.shields.io/badge/lang-tpi-purple)
![Discord: ゐてるま#5750](https://img.shields.io/static/v1?label=Discord&message=ゐてるま%235750&color=ca97bf)

[![anosatsuk124's GitHub stats](https://github-readme-stats.vercel.app/api?username=anosatsuk124&show_icons=true&rank_icon=github&theme=dracula#gh-dark-mode-only)](https://github.com/anuraghazra/github-readme-stats#gh-dark-mode-only)

[![anosatsuk124's GitHub stats](https://github-readme-stats.vercel.app/api?username=anosatsuk124&show_icons=true&rank_icon=github#gh-light-mode-only)](https://github.com/anuraghazra/github-readme-stats#gh-light-mode-only)

[![GitHub Top Langs](https://github-readme-stats.vercel.app/api/top-langs/?username=anosatsuk124&layout=donut&langs_count=10&theme=draculagh-dark-mode-only)](https://github.com/anuraghazra/github-readme-stats#gh-dark-mode-only)

[![GitHub Top Langs](https://github-readme-stats.vercel.app/api/top-langs/?username=anosatsuk124&layout=donut&langs_count=10gh-light-mode-only)](https://github.com/anuraghazra/github-readme-stats#gh-light-mode-only)

## Projects in progress

- Mikan OS (written in Rust) [anosatsuk124/mikanos-rs](https://github.com/anosatsuk124/mikanos-rs)
- Nand2Tetris (with SystemVerilog and Rust) [anoatsuk124/nand2tetris-verilog-rs](https://github.com/anosatsuk124/nand2tetris-verilog-rs)
- Works db (Co-developer, written with Rust. Web app about the meta-data of musics ) [team-vinu/works-db](https://github.com/team-vinu/works-db)
- x86 assembler from scratch (written in Rust) [anosatsuk124/viterum-asm-rs](https://github.com/anosatsuk124/viterum-asm-rs)
- Toy x86 C-compiler from scratch (written in Rust) [anosatsuk124/viterum-cc-rs](https://github.com/anosatsuk124/viterum-cc-rs)
- SLDL (Structured License Description Language) reference implementation written in Rust [anosatsuk124/SLDL](https://github.com/anosatsuk124/SLDL)
- Viteditor-rs is flexible (using Terminal UI, Web UI etc.) and extensible interfaced simple text editor written in Rust [anosatsuk124/viteditor-rs](https://github.com/anosatsuk124/viteditor-rs)
- Binrobot is a game for any language and its programmer. It is inspired by Robocode [anosatsuk124/binrobot](https://github.com/anosatsuk124/binrobot)

## Interested Studies

- 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 |
| ------------------------------- | --------------------------------------------------------------------------------------------------- |
| Generic name | ゐてるま (Japanese Pronounciation: いてるま, English: Viterum, /vɪtɛɹʌm/), etc. |
| Alternative name | |
| 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 |

## Timeline

- [x] A Preparatory committee member of Human-life Information Platforms Institute a.k.a. **Menhera.org**
- [x] The Cyphanese Team lead
- [x] A Virtual World Alubis member (History of thoughts and science)
- [x] **2019**: In JOL(Japanese Olympiad in Linguistics), won a prize
- [x] **2023-**: An executive director at Human-life Information Platforms Institute a.k.a. **Menhera.org**

## Twitter accounts

| ID | Screen name | Proper name |
| ----------------------------------------------------- | ----------- | ----------- |
| [1163505248649928704](https://twitter.com/viterum_24) | viterum_24 | 表垢 |
| \*\*\* | \*\*\* | 真の鍵 |
| \*\*\* | \*\*\* | 薬理垢 |

## Related DNS domains

| Domain name | Status(es) | Description |
| -------------- | ---------------- | -------------------------------------- |
| levome-dol.com | At home | Using for private |
| levome-dol.com | At home in Tokyo | Using for private |
| menhera.org | Route 53 / AWS | Menhera.org organizational main domain |

## Contacts

| Email | E2EE-pubkey |
| ------------------------ | ----------------------------------------------------------------------------- |
| | https://raw.githubusercontent.com/anosatsuk124/Openpgp-pubkey/main/pubkey.asc |

---

# 日本語

## 所属

- [Menhera.org](https://www.menhera.org)
- [VWAlubis](https://pianists.github.io/PsMemoBlog/conworld/)
- [Cyphanese Project Team](https://github.com/anosatsuk124/Cyphanese) ([Old repository](https://github.com/anosatsuk124/Cyphanese-archived))

## 興味のある分野

- 低レイヤプログラミング
- 分析哲学 (特に、科学哲学の存在論と心の哲学)
- 純粋数学 (特に、数学基礎論)
- 機械学習 (特に、自然言語処理)
- 言語学 (特に、形式意味論)
- 薬学 (特に、中枢神経系に関わる神経薬理学)

| Attribute | Value |
| ------------------------ | -------------------------------------------------------------------------------------------- |
| 汎用的名前 | ゐてるま (Japanese Pronounciation: いてるま, English: Viterum, /vɪtɛɹʌm/), etc. |
| その他の名前 | |
| 戸籍名 | 秋葉 沙都季 (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 |

## タイムライン

- [x] 法人設立準備委 (生活情報基盤研究機構, Menhera.org)
- [x] Cyphanese チームリーダ
- [x] 仮想世界 Alubis メンバ (思想史/科学史分野)
- [x] **2019**: 日本言語学オリンピック入賞
- [x] **2023-**: 業務執行理事 (生活情報基盤研究機構, Menhera.org)

## Twitter アカウント

| ID | Screen name | Proper name |
| ----------------------------------------------------- | ----------- | ----------- |
| [1163505248649928704](https://twitter.com/viterum_24) | viterum_24 | 表垢 |
| \*\*\* | \*\*\* | 真の鍵 |
| \*\*\* | \*\*\* | 薬理垢 |

## 関連 DNS ドメイン

| 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 |
| menhera.org | Route 53 / AWS | Menhera.org organizational main domain |

## 連絡先

| Email | E2E 暗号公開鍵 |
| ------------------------ | ----------------------------------------------------------------------------- |
| | https://raw.githubusercontent.com/anosatsuk124/Openpgp-pubkey/main/pubkey.asc |