blog.miuchi.net

abap34's blog 2026/10/09

はじめてのアメリカ日記 (SPLASH 2026 参加記)

はじめてのアメリカ日記 (SPLASH 2026 参加記) みんな大好き ss () のうち、研究文脈で新しい部分 (依存順の実行モデル、WYSIWYG エディタとの相互反映) についてまとめ、 SPLASH の SRC に投げたところ accpet されたため、発表をしに初めてアメリカにゆくことになりました。ので記録を残しておこうと思います。聞いたセッ…

fuku.day/blog 2026/10/03

南イタリア（ナポリ、シチリア）に行った

初めてのヨーロッパで南イタリアは若干のひねり要素として認められますか？

abap34's blog 2026/10/02

2026年度前期振り返り

2026年度前期の振り返りです．ブログを書くために CMS を作っていたら遅刻してしまいました．すみません．あとそもそも去年の後期を書きそびれていました．すいません．せっかくなのでこちらにまとめて書きます (タイトル詐欺) 過去の振り返り記事は ※ 今年からは書くのも作るのも同じ範疇に入ってきつつあるので，その区別を撤廃します． ss 最近暇があればやっ…

abap34's blog 2026/09/09

大学院に進学します (あるいは東京科学大学情報理工学院情報工学系院試体験記)

大学院に進学しますタイトルの通りですが，無事院試に通ったので引き続き同じ研究室で大学院生をやります． GSoC に参加していたため 4 年生を 1 年 + 半年やり ( を参照)，今度の 10 月から M1 です．院試体験記なんとびっくり (?) 筆記試験を受けるハメ (B日程) になったため勉強をしなければいけませんでした．しかも複数の大学に出…

fuku.day/blog 2026/07/31

「魔法少女ノ魔女裁判」がよかった

まのさばって残酷ゲーみたいなのというよりは少年漫画に近いんですよ。信じてください。

fuku.day/blog 2026/07/14

関数型まつり2026に行った感想

関数型まつり2026に行ってめちゃめちゃ疲れたのにまだ何か書くんですか

fuku.day/blog 2026/07/07

最近好きな音楽（2026前半）

はい

blog.momee.mt 2026/06/05

Ruby の正規表現も 3-SAT が解けるので NP-hard

マッチングが現実的な時間で終わるかどうかは、君の入力次第だ！

blog.momee.mt 2026/05/29

後方参照付き正規表現が表す言語は必ずしも正規言語ではない

正規表現という言い方もどうかと思う

abap34's blog 2026/05/03

スライド記述言語 ss を作った

※ 6/18 追記この記事は古くなっています．現在は多段階計算は廃止され，代わりに標準的でない実行モデルの採用などにより変な言語へと進化しています．興味があるかたは GitHub の README を見てください．こちらもどうぞ． <blockquote class="twitter-tweet"><p lang="ja" dir="ltr">最近作っ…

abap34's blog 2026/02/28

CMS を作ったので雑な記事を書いていきます

あらすじ近年、Twitter の @abap34 のアカウントが周りに広まりつつあり、余計なことが書けなくなってしまいました。その対策として、ブログをもう少しラフに書けるようにしようと思い、スマホからでも気軽に投稿できるように CMS を (Claude が) 作りました。 <div class="link-card"> <a href="https:/…

fuku.day/blog 2025/12/31

2025振り返り

やるぞ〜〜〜〜〜〜〜〜〜〜〜！

abap34's blog 2025/09/30

2025年度前期振り返り

2025年度前期の振り返りです。去年の後期の振り返りは過去の振り返り記事は作った・作っているもの JETLS.jl (Julia の次世代 Language Server, Google Summer of Code) 今年の前期に一番時間を使ったものはこれでした． <div class="link-card"> <a href="https://g…

abap34's blog 2025/09/01

GSoC 2025 Final Report ─ Development of a New Language Server for Julia

GSoC 2025 Final Report This blog is the final report of my work during Google Summer of Code 2025, where I worked on the project . This was an exciting project to build a new lang…

abap34's blog 2025/05/09

Google Summer of Code に Proposal が採択されました！

あらすじ Google Summer of Code に Proposal が採択されました！ <blockquote class="twitter-tweet"><p lang="ja" dir="ltr">Google Summer of Code で Julia に出していた Proposal が採択されました！ 🎉🥳<br><br>Julia…

abap34's blog 2025/03/31

2024年度後期振り返り

2024年度後期の振り返りです。今年の前期の振り返りは過去の振り返り記事は作った・作っているもの server.abap34.com (ssh チャットサーバ) まずは一発ギャグです。 <div class="link-card"> <a href="https://github.com/abap34/server.abap34.com" targe…

abap34's blog 2025/03/01

ROC-AUC の解釈

二値分類の代表的な評価指標である ROC-AUC (Receiver Operating Characteristic - Area Under the Curve) について説明します。結論だけ: ROC-AUC とは? ROC-AUC は二値分類の評価指標で、予測モデルが正例と負例からそれぞれ一様に選んだとについてとなる確率のことです。…

abap34's blog 2025/02/16

Julia Compiler Internals (06) - Implementing Small Julia Compiler

あらすじ以前まで続けていた Julia コンパイラの内部構造についての記事について、一旦これまでの知見を使って簡略化した Julia のコンパイルプロセスを実装します。そのほかの Juia コンパイラに関連する記事は Julia と型推論まず最初に、(みんなが思い浮かべるものという意味で) 一般的な型推論と少し違うのもあるので、Julia における…

fuku.day/blog 2024/12/28

神速のzinit: M4覚醒 #zsh

Ghostty使ってたらzshの起動が遅いのが気になってきた

abap34's blog 2024/12/06

開発環境を紹介しますアドベントカレンダー @abap34

この記事は、 6日目の記事です。こんばんはおい全然埋まってないぞ！！！！みなさんはあんまり使っている人がいない変な CLI ツール, エディタ, Chrome 拡張などをお使いでしょうか？そうでなくともこの手の便利ツールを網羅的に知ることは難しいので、実は人の開発環境を見るのは結構面白いものを知れます。というわけでこういうアドカレを作ったのですが…

abap34's blog 2024/12/01

コミュニティコンペティションを開催するときの Tips 集

あらすじ先月、大学のサークルで運営していた機械学習を勉強するコミュニティを後輩に譲りました: <blockquote class="twitter-tweet"><p lang="ja" dir="ltr">そういえば、大学のサークルの Kaggleコミュニティの長(?) を後輩に譲りました。<br>(抱えているプロジェクトがあるので、まだまだ色々します…

abap34's blog 2024/11/22

Julia Compiler Internals (05) - Algorithm of Type Inference [2]

あらすじ今回もJuliaのコンパイラの内部実装を読んでいくシリーズです。シリーズ自体についてはを見てください。は Julia の型推論について学ぶ前に、抽象解釈やデータフロー解析の基本的な部分をやりました。今回は前回見たデータフロー解析問題を解くアルゴリズムを実際に実装してその性質を調べます。さらに、世間の解説との diff として、停止性や正…

abap34's blog 2024/10/21

Julia Compiler Internals (04) - Algorithm of Type Inference [1]

小話 @abap34 です。最近は腰と肩がかなり痛いです。いい椅子に座りたい 😢 この Julia 処理系を読む会もなんやかんや 2ヶ月くらい毎週続いているのですが、いくつかニュースがあったので本題に入る前に書いておきます！ちょっとしたニュース ① 先日 Julia の Co-Founder のさんが来日されていて、なんとお会いすることができました…

abap34's blog 2024/10/15

Julia Compiler Internals (03) - Introduction to Type Inference

あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。シリーズ自体についてはを見てください。 Type Inference は Lowering について概観しました。今回からは Julia の型推論について概観します。今回は具体的な型推論アルゴリズムについて詳しく調べる前に、それ以外の部分について整理します。 Julia の型推論に…

abap34's blog 2024/09/30

2024年度前期振り返り

2024年度前期の振り返り 2024年度前期 (4月~9月) の振り返りです。去年の前期の振り返りは去年の後期の振り返りは作ったものこのサイト <a href="https://github.com/abap34/abap34.com"><img src="https://gh-card.dev/repos/abap34/abap34.com.sv…

abap34's blog 2024/09/23

C++ のプロジェクトでいい感じのテスト・ベンチマーク・カバレッジ計測環境を構築する

できるものはじめに人類はまだテストを不要とする技術を開発していないので、テストはいるんですね. というわけでテストを書きます。 GitHub で C++ のプロジェクトをやることを想定して、 Google Test でテストを書くGoogle Benchmark でベンチマークを取るそれの結果の推移の統計を GitHub Pages でいい感じに表示す…

abap34's blog 2024/09/21

Julia Compiler Internals (02) - Lowering (2) for の linearize

あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。シリーズ自体についてはを見てください。 Lowering は Lowering について概観しました。今回は、Lowering における for文の処理について少し書きます。 for の出自 for はいうまでもなくトップクラスに使われる制御構文ですが、 Juliaにおいては for…

abap34's blog 2024/09/20

Julia Compiler Internals (01) - Lowering (1)

あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。シリーズ自体についてはを見てください。 Lowering は Juliaの処理系の大まかな流れを見ました。今回からは、各セクション (Lowering, Type Inference, ...) の処理の大枠を見ていきます。 What is Lowering? 前回も書きましたが、…