> For the complete documentation index, see [llms.txt](https://noe-l.gitbook.io/finalward/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://noe-l.gitbook.io/finalward/profile.md). # Profile twitter: \ blog: [https://noe-l.hatenablog.com/](http://noe-l.hatenablog.com/) ## 現在の所属 東京大学理学部情報科学科(2023/04-), TSG ## 最近主にやったこと * 2023/8-2024/3 Internship at [Turing Inc](https://www.turing-motors.com/) * 2024/2 2023年度CPU実験1位獲得(チーム) * 2023/10 自作プログラミング言語公開 * 2022/12 「コンピュータサイエンスにおける様相論理」ゼミ 完了(予定: あと2ページ) * 2022/10 iGEM 2022 Gold Medal, Best Model Nominee, Best Foundational Advance Project Nominee * 合成生物学の世界大会です。東大チームの中で、プロジェクトのテーマ決めや遺伝子回路設計、モデリング、Wiki実装を担当しました。 * 2022/6-2023/3 未踏アドバンスト2022 ## 好きなもの * K-POP ((G)I-DLE, NewJeans, IZ\*ONEが特に。LE SSERAFIM, aespa, BLACKPINKも好き) ## 興味 * よく変わります。2022/12現在 * "記号列"が好きです * プログラミング言語、DNA・RNA、自然言語などに興味があります * "記号列"は、人間から見た世界の大事な構成要素だと思っています * どれもある程度共通の構造がある(Syntax的には文脈自由言語として捉えられたり、性質や意味的にもそういうものがある: 後述)ことに(特にDNAは人間が作ったものでもないのに)驚きを感じます * あくまで人間から見た世界の在り方であり、客観的な世界がこうだとかいう風には思いません * プログラミング言語とDNA・RNAにはやはりどちらもシステムを動かすという機能に由来する類似した性質があるように感じられます * DNAにも条件分岐やイベントドリブンな(onConcentrationChangedみたいな)性質が備わっています * DNAは人間が設計したものではないのに、プログラミング言語に似たものが得られたのは不思議です * DNA・RNAと自然言語はどちらも「定義されて作られたのではない」「自然発生した」ものであることに由来する類似した性質があるように感じられます * どちらもよく変異し、進化します * そういえば、自然言語で創発に当たるようなものってあるのでしょうか * // プログラムやプログラミング言語を進化させるという話がありますが、そういうのも好きです * // プログラミング言語に関しては、2次元プログラミング(Aheui, ><>など)を始めとした各種esolangなど違ったパラダイムのものを探しています。 * // Spacechemというゲームが好きでした * // 記号列を書くのも好きです。自然言語もプログラミング言語も(DNAも)同じくらい楽しく書けます。 * // TwitterのJavaScript(で絵を描いてツイートする)版 Dwitter っていうのが好きです、ツイートしたことはない * // コードゴルフが好きです、少ない文字数で意味(後述)を伝えるみたいなのがワクワクします、そんなに上手くないです * →関連する興味分野: 形式言語理論、合成生物学 * 理解とはなにか、意味とはなにか、などといったことに興味があります * //「分かった？」と言われて「分かった」と答えるのが昔から下手でした * // 最近は、自分の中である程度他のこととのつながりが見いだせたら分かったということにして良いのかなと感じています * 「理解」と、人間が記号(言語)を操る能力、人間の想像力は互いに密接につながっているように考えています * // 理解は、"生の"現象だと高次元すぎるので、低次元に射影することだ、という主張も共感できます * 「理解」や「意味」を脱人間化することにも興味があります * 「白と黒のとびら」という本が好きです。その本で出てきたように、オートマトンやチューリングマシンなどの機械で記号列を"受理"するのと、人間が文章を"理解"するのとはどう違うのか、などということに関心を持っています * 「体がないと、思ったり、考えたりできないの……？」というのもこの本中のセリフですが、思ったり考えたりすることを人間から離れた「機械」「規則」などによってモデル化できないか、考えています * 人間の思考の限界や、言語で表現できることの限界などといったことにも興味があります * 現代思想の授業で学んだ思弁的実在論が好きでした。「人間の思考」のない世界(人間が生まれる前や絶滅した後の世界)の実在を考えたり、人間の思考のアクセスできない世界の在り方を考えたりすることに興味があります。 * 脱人間中心化が割と主題だったと(授業では)ありましたが、「思考」が主体である世界観を排するところは、前述した「思考」の機械化・規則化(→客観的に扱えるものにすること)のようなものと似ているところがあると思います * ずっと書いているとおり、興味としては人間の思考と相関する世界の在り方なのですが、この分野だけは確かに実在論になっています。ですがそのような実在論的な世界そのものに興味があるのではなく、あくまで興味はそこで浮かび上がる思考の性質のほうだと思います。 * 「言葉では表せないこと」に興味があります * 日々の実感として、自分が何を理解出来たかを言葉で完全に説明するのは難しいと思います * ウィトゲンシュタインの「語りえぬこと」は有名ですが、まだあまり理解(納得?)できていません * 「決定不能問題(チューリングマシンで解けない=プログラムできない問題)」にも興味があります * 「存在し得ない生物」にもちょっと * 論理は発明か発見かと言われると、発見だと思います * 人類がもう一回1からスタートしても、同じ体系を作っていると思います * 線形演習の先生が線形代数も絶対もう1回人類生まれても作られてくるっておっしゃっていました、マジか * 線形代数も好きです * ゲーデルの不完全性定理は、そのものが好きです * 論理学は、なぜかまだ自分でもよくわかりませんが、好きです * 様相論理とプログラムの関係(プログラム検証など)も好きです * 論理式は、SyntaxとSemanticsというフレームワークを理解する上ですごく助かりました ## スキル ### プログラミング関係 Vue を最もよく使う。\ React / Next.js は仕事で使っている。 以前はUnity, .NET双方のC#もやっていた。 主に課題で、Pythonをよく使う。\ 授業も含め、Scheme, C, Rust, asm(RISC-V), wasmを勉強中 二次元プログラミング言語も好き。><> (fish) や Aheui をよく使う。Jellyfishを身に着けたい。 ### ゲーム歴 * マリオカート(64,Wii,8DX) * Wiiが一番いいかも。 * 3Dマリオ系(ギャラクシー,ギャラクシー2,オデッセイ,3Dワールド,フューリーワールド) * ギャラクシー、ギャラクシー2は世界観も仕上がっていて好き。フューリーも好きだが短い。 * ゼルダ(時のオカリナ,スカイウォードソード) * 実はブレワイやったことない。 * 星のカービィ(SDX,毛糸,Wii,スターアライズ) * Wiiが一番好き。この前RTAを見て以前と同じく感動したので、自分の心が成長してスタアラなどをそこまで楽しめなくなったというより、やはりWiiが神ゲーだったんだと思う。 * フィットネス系(Wii Fit,Wii Fit Plus,Wii Sports Resort,リングフィットアドベンチャー) * リングフィットアドベンチャー World 69 クリアしました 1年半くらいかかった。 * その他2D系(各種マリオ,ワリオランドシェイク) * 各種ペーパーマリオ * マリオストーリーが一番良い。TASのプレイを見るのも好き。 * スマブラは不可 * あまりにも下手。 * 音ゲー(エンジョイ勢)(バンドリ, Deemo, Cytus, Cytus II) 推し * Oxygen Not Included: 何回でも一からやってハマってしまう。 * Spacechem: 面白い。Aheuichemの元ネタ。 * Cities: Skylines: 本当にハマった。だんだん重くなるのが悲しい。 * SimCity: Cities: Skylinesをやるまでハマっていた。 * Besiege: 心のゆとりがあった頃はこういうのが楽しかった。 ### その他のスキル * 耳コピ * ピアノ(少々) --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter: ``` GET https://noe-l.gitbook.io/finalward/profile.md?ask=&goal= ``` `ask` is the immediate question: it should be specific, self-contained, and written in natural language. `goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.