Skip to content
View halka9000stg's full-sized avatar
🧑‍💻
Needed Co-Researcher/Co-Developer
🧑‍💻
Needed Co-Researcher/Co-Developer
  • was Dev. of CE, CST, Nihon Univ.
  • Tokyo & Soma, Japan
  • 08:03 (UTC +09:00)
  • X @Distr_to_Yonder

Block or report halka9000stg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
halka9000stg/README.md

halka9000stg / Haruka Sato (佐藤陽花)

Github Build: buggy Pronoun: she/they/ze Language: ja Language: en Language: zh Discord: 佐藤陽花#7369

About - Who am I?

Metrics_Intro

キーワード:知的情報処理、分散処理、ブロックチェーン、情報技術の社会実装、自作OS(TRONディストリビューション)、自作プログラミング言語、生徒会論、教育政策、考現学、暗号数学、モジュラ形式



Yes, we can! : Lets' go to yonder, with the power of technologies.



Dartistan, Gopher, Lisper, Chesnic


汎数理形式化超大統一プログラミング言語「FunCobal」、AltJS プログラミング言語「TsaaScript」、アスペクト指向化 Dart 言語「投壺」


FunCobal:
Funista, Funiclus, Funior, Funiar, Funian,
Funlier(m.)/Funlière(f.)
「Funiclusent」Funista らしい (ex. 「Funiclusent な構文」)
「Funiclusogram」FunCobal コード
「Funistaship」Funista としての技能
「Funicraft」FunCobal 技術
「Funianspeak」Funista 用語
「Funianself」Funista 自身
「Funiclusesque」FunCobal 風の (ex. 「Chestnut Pie:Funiclusesque Chestnut」)

【目次】

Metrics_Lang

Top Langs halka9000stg's github stats

Contributions Calender Metrics

Metrics_Iso

Metrics_Sky

Personal Data

Attribute Value
Generic name (日本名) 佐藤陽花 (Kana: さとう はるか Roman: Haruka Sato),
(中華名) 藍徽陽(Bopo: ㄌㄤ ㄏㄨㄟㄧㄤ Kana: らん きよう Roman: HueiYang Lang),
(アイヌ名) エヤィヌニタㇰ(Roman: e=yay=nu-nitak),
(琉球名) 玻名城未涼(Kana: はなしろ みすず Roman: Misuzu Hanashiro),
(満州名) ~~~(Manchu: ~~ Kana: ~~ Roman: ~~),
(西洋名) ~~~(Deutsch: ~~ Britain: ~~ Kana: ~~),
(戸籍名) 松永拓也 (Kana: まつなが たくや Roman: Takuya Matsunaga),
etc.
Alternative name 走水伊吹 (Kana: はしりみず いぶき, Roman: Ibuki Hashirimizu),
八居実陽(Kana: やい みはる Roman: Miharu Yai),
Former name
Pronoun she/they/ze
DOB 18th June 2000
Native Speaker of 日本語東京・首都圏方言;日本語浜通り・相馬方言 Soma
Other Natural Languages English, 正體字中文台北官話, 廣州話香港片、Ελληνική γλώσσα、Gjuha shqipe、Αρbε̰ρίσ̈τ 、Vlaams、Áynu Ítak、ᠮᠠᠨᠵᡠ ᡤᡳᠰᡠᠨ、ᠰᡞᠪᡝ ᡤᡞᠰᡠᠨ
Caveats Genderfluid, Multisexual, Asperger

Academics

Attribute Value
専門分野(情報学系) (専攻)知的情報処理、分散処理・並行処理、コンピュータ言語言語情報処理、知識情報学、法情報学、社会情報学、計算機工学、暗号
(周辺領域)情報統計、HPS、機械学習、ネットワーク通信
(副専攻)情報セキュリティ、航空制御情報処理
専門分野(社会学系) (教育学)中等教育学、生徒会論
(法学)教育行政法学、公共政策学
(民族学)考現学、学校生活学
(経済学)マクロ経済学、数理経済学、社会選択理論、厚生経済学、経済統計、会計学
専門分野(理工学系) (数学)数論、楕円曲線、アーベル多様体、モジュラ形式、解析学、微積分学
(交通工学)特に鉄道政策論、鉄道機構論、交通制御工学
専門分野(人文学系) (言語学)比較言語学、日本方言学、言語分類学、言語情報学
所属学校 (学生(学部))日本大学理工学部応用情報工学科
(指導員(OB, ボラ))都立八潮高等学校理数研究部
所属学会等 (現在)IPSJ  情報処理学会、gnssforum.org  全地球航法衛星システムフォーラム
(予定)EIC  電子情報通信学会
所属機関 DevelopersPackages

Technologies

Attribute Value
Main-Use OS
Windows, Linux, TRON
Favorite & Main-use Computer Languages
Dart, Go, Julia, Rust, Ruby, Scala
Proficient Computer Languages
Java, Javascript, Dart, C, PHP
Semi-Proficient Computer Languages
Julia, C++, C#
Intermediate Computer Languages
Go, Rust, Scheme, Racket, Fantom, Lua
Semi-Intermediate Computer Languages
Ruby, Haskell, Scala, HSP
Bigener Computer Languages
F#, OCaml, Octave, Nasm(NetWide Assembly)
Making Computer Languages FunCobal family, 猷言語(Yew Language), TsaaScript, 投壺(Touko), ChestDD
Main-use Frameworks
AngularDart(Dart), Flutter(Dart), Aqueduct(Dart), Cargo(Rust)
Making-use Systems
VSCode, Git, pLaTeX, QGIS, MediaWiki, WordPress
Formats Understood
JSON, YAML, TOML, Chess, XML, SGML, (X)HTML, CSS, SVG, PNG, PDF, TeX

SNS/Clouds Accounts

Service Ext User Identifer Proper Name Description
Twitter TN @Distr_to_Yonder@twitter.com 🍤超越基底 (佐藤陽花/藍徽陽/玻名城未涼/エヤィヌニタㇰ/八居実陽) メイン&学術研究垢
Mastodon MQ @halka9000@qoto.org いぶきさん(走水伊吹) / 佐藤陽花 メイン垢
Mastodon MR @halka9000@ruby.social Halka9000@computer_lang コンピュータ言語垢
GitHub GH @halka9000stg@github.com 佐藤陽花 Git
OSDN OS @halka9000stg@osdn.net 佐藤陽花 (Haruka Sato) Mercurial
GitLab GL @halka9000stg@gitlab.com 佐藤陽花 Git
Discord DC @佐藤陽花#7369@discord.com 佐藤陽花#7369 Discord
Facebook FB @haruka.doth.serve@facebook.com Haruka Sato (松永拓也) Facebook
VKontakte VK @haruka.doth.serve@vk.com Haruka Sato VK
Telegram TG @lanhueiyang9000@telegram.org Kaoru Ohkouchi Telegram

Related DNS Domains

Domain name Status(es) Description
dev-pack.org active DevelopersPackages.org メインドメイン

Enrollments

DevelopersPackages.org

常務代表, サーバ管理者, システム管理者, 経理/法務担当

オープンライセンス適用宣言

私 Haruka Sato,及び私の主宰ないし技術管理する団体ないし部署(但し当該団体ないし部署で他のライセンス適用宣言が公表・実施されている場合を除く)は,その著作物について S-GLPL その他 SPLs たるオープンライセンス (但し示された S-GLPL その他 SPLs たるオープンライセンスが未策定の間は、以下の三条項制約を附帯させた MIT ライセンス)が自動的に付与される(他のライセンスが明示的に適用される場合を除く.但し,旧版たる一条項 MIT+ライセンス代替附帯の S-GLPL その他 SPLs たるオープンライセンスが明示的に適用される場合は一条項 MIT+ライセンス代替附帯が三条項 MIT+ライセンス代替附帯に変更される.)ことを宣言する.

  • 本許諾による著作物は,その二次的著作物に関しても同様にライセンスされなければならない.但し,本許諾と同様の許諾を含むマルチライセンスとすることもできる.
  • 本許諾による著作物の二次的著作物は,本許諾と同様の許諾がなされるものとするが,他の許諾による著作物の二次的著作物でもある場合は,本許諾と同様の許諾を含むマルチライセンスとしなければならない.
  • 本許諾による著作物の二次的著作物は,原版と完全な同名を名乗ってはならず,異種性に応じた近似度を持った名称としなければならない.

則ち,以下は一例である.(なおこの例は旧版の一条項 MIT+ライセンス代替であるが,上記宣言により一条項 MIT+ライセンス代替であるものとみなされる.)

上記著作権者は, S-GLPL に従う事を条件として本プロジェクトの成果物を利用することを無償で許諾する.但し,S-GLPL が未策定の間は MIT ライセンスを代替として適用する.また,本許諾による著作物は,その二次的著作物に関しても同様にライセンスされなければならない.

Pinned Loading

  1. rp-Tellgit/Tellgit-Public-Rerease rp-Tellgit/Tellgit-Public-Rerease Public

    Tellgitプロジェクト公告;ブロックチェーン等の分散処理技術を用いた知的情報処理の教育への応用。

  2. Chetro-Project/Chetro-OS-News-Release Chetro-Project/Chetro-OS-News-Release Public

  3. FunCobal-family/FunCobal FunCobal-family/FunCobal Public

    「FunCobal」:プロトタイプベースオブジェクト指向と関数型のバランスしたマルチパラダイム言語

    Scheme 2

  4. ArxBC ArxBC Public

    Management System of Archival Biblio-Catalog with NDL API, CiNii Books API and OpenBD API for Small and Medium Libraries :: NDL API、 CiNii Books API 及び OpenBD APIを用いた中小規模書庫/図書室/図書館のための書庫所蔵資料目録管理システム

  5. TheDartAssociation/DartSystemToolChain TheDartAssociation/DartSystemToolChain Public

    General Tool Chain for Systems written in Dart.

    Dart

  6. WolframLang-MathTools WolframLang-MathTools Public

    Mathematica