Ruby の正規表現も 3-SAT が解けるので NP-hard
マッチングが現実的な時間で終わるかどうかは、君の入力次第だ！
後方参照付き正規表現が表す言語は必ずしも正規言語ではない
正規表現という言い方もどうかと思う
スライド記述言語 ss を作った
スライド記述言語 ss を作った 皆さん発表してますか？こんにちは abap34 です． 今日は，最近作っているスライド記述言語 ss について紹介します． まだ作りました！ってツイートもしてないし周りの数人に見せてみてるくらいの段階ですが， 少しだけ説明の文章を置いておきたいと思います． 一応，すでに 60ページほどのスライドを作るのに不便がない程度には…
CMS を作ったので雑な記事を書いていきます
あらすじ 近年、Twitter の @abap34 のアカウントが周りに広まりつつあり、余計なことが書けなくなってしまいました。その対策として、ブログをもう少しラフに書けるようにしようと思い、スマホからでも気軽に投稿できるように CMS を (Claude が) 作りました。 <div class="link-card"> <a href="https:/…
2025振り返り
やるぞ〜〜〜〜〜〜〜〜〜〜〜！
2025年度前期振り返り
2025年度前期の振り返りです。 去年の後期の振り返りは 過去の振り返り記事は 作った・作っているもの JETLS.jl (Julia の次世代 Language Server, Google Summer of Code) 今年の前期に一番時間を使ったものはこれでした． <div class="link-card"> <a href="https://g…
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…
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…
2024年度後期振り返り
2024年度後期の振り返りです。 今年の前期の振り返りは 過去の振り返り記事は 作った・作っているもの server.abap34.com (ssh チャットサーバ) まずは一発ギャグです。 <div class="link-card"> <a href="https://github.com/abap34/server.abap34.com" targe…
ROC-AUC の解釈
二値分類の代表的な評価指標である ROC-AUC (Receiver Operating Characteristic - Area Under the Curve) について説明します。 結論だけ: ROC-AUC とは? ROC-AUC は二値分類の評価指標で、 予測モデル が 正例と負例からそれぞれ一様に選んだ と について となる確率のことです。…
Julia Compiler Internals (06) - Implementing Small Julia Compiler
あらすじ 以前まで続けていた Julia コンパイラの内部構造についての記事について、一旦これまでの知見を使って簡略化した Julia のコンパイルプロセスを実装します。 そのほかの Juia コンパイラに関連する記事は Julia と 型推論 まず最初に、(みんなが思い浮かべるものという意味で) 一般的な型推論と少し違うのもあるので、Julia における…
神速のzinit: M4覚醒 #zsh
Ghostty使ってたらzshの起動が遅いのが気になってきた
開発環境を紹介しますアドベントカレンダー @abap34
この記事は、 6日目の記事です。 こんばんは おい全然埋まってないぞ！！！！ みなさんはあんまり使っている人がいない変な CLI ツール, エディタ, Chrome 拡張などをお使いでしょうか？ そうでなくともこの手の便利ツールを網羅的に知ることは難しいので、実は人の開発環境を見るのは結構面白いものを知れます。 というわけでこういうアドカレを作ったのですが…
コミュニティコンペティションを開催するときの Tips 集
あらすじ 先月、大学のサークルで運営していた機械学習を勉強するコミュニティを後輩に譲りました: <blockquote class="twitter-tweet"><p lang="ja" dir="ltr">そういえば、大学のサークルの Kaggleコミュニティの長(?) を後輩に譲りました。<br>(抱えているプロジェクトがあるので、まだまだ色々します…
Julia Compiler Internals (05) - Algorithm of Type Inference [2]
あらすじ 今回もJuliaのコンパイラの内部実装を読んでいくシリーズです。 シリーズ自体については を見てください。 は Julia の型推論について学ぶ前に、抽象解釈やデータフロー解析の基本的な部分をやりました。 今回は前回見たデータフロー解析問題を解くアルゴリズムを実際に実装してその性質を調べます。 さらに、世間の解説との diff として、停止性や正…
Julia Compiler Internals (04) - Algorithm of Type Inference [1]
小話 @abap34 です。 最近は腰と肩がかなり痛いです。いい椅子に座りたい 😢 この Julia 処理系を読む会もなんやかんや 2ヶ月くらい毎週続いているのですが、いくつかニュースがあったので本題に入る前に書いておきます！ ちょっとしたニュース ① 先日 Julia の Co-Founder の さんが来日されていて、なんとお会いすることができました…
Julia Compiler Internals (03) - Introduction to Type Inference
あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。 シリーズ自体については を見てください。 Type Inference は Lowering について概観しました。 今回からは Julia の型推論について概観します。 今回は具体的な型推論アルゴリズムについて詳しく調べる前に、それ以外の部分について整理します。 Julia の型推論に…
2024年度前期振り返り
2024年度前期の振り返り 2024年度前期 (4月~9月) の振り返りです。 去年の前期の振り返りは 去年の後期の振り返りは 作ったもの このサイト <a href="https://github.com/abap34/abap34.com"><img src="https://gh-card.dev/repos/abap34/abap34.com.sv…
C++ のプロジェクトでいい感じの テスト・ベンチマーク・カバレッジ計測環境を構築する
できるもの はじめに 人類はまだテストを不要とする技術を開発していないので、テストはいるんですね. というわけでテストを書きます。 GitHub で C++ のプロジェクトをやることを想定して、 Google Test でテストを書くGoogle Benchmark でベンチマークを取るそれの結果の推移の統計を GitHub Pages でいい感じに表示す…
Julia Compiler Internals (02) - Lowering (2) for の linearize
あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。 シリーズ自体については を見てください。 Lowering は Lowering について概観しました。 今回は、Lowering における for文の処理について少し書きます。 for の出自 for はいうまでもなくトップクラスに使われる制御構文ですが、 Juliaにおいては for…
Julia Compiler Internals (01) - Lowering (1)
あらすじ Juliaのコンパイラの内部実装を読んでいくシリーズです。 シリーズ自体については を見てください。 Lowering は Juliaの処理系の大まかな流れを見ました。 今回からは、各セクション (Lowering, Type Inference, ...) の処理の大枠を見ていきます。 What is Lowering? 前回も書きましたが、…
Julia Compiler Internals (00) - Introduction
はじめに 先日から Julia の内部実装を読む会を始めたのですが、そこで得た知識をここにまとめていこうと思います。 すでに scrapbox にメモ書きが生えているのですが、それを再構成してもう少しちゃんと文章に書いていきます。 短い記事の集まりになる予定です。 前提 読んでいるコードやドキュメントは全て Julia 1.11-rc3 (コミット: 61…
「Tailwind CSSめっちゃ負債になりそう」はそうでもないのでは、と思っている
Tailwind CSSは特異なコードベースの見た目から負債になりそうとたまに言われるが、俺はあんまりそう思っていないので説明したい。
脚注機能の実装に関するメモ
脚注機能の実装に関するメモ 最近、このブログを作ってくれている Markdownパーサである almo に脚注を実装しました。 (まさに今つかったこれです) 脚注は、 Common Mark でも GFM でも定められていない構文ですが、長いドキュメントを書くときには結構欲しくなります。 ところで、脚注はパーサを書くことを考えると他の構文と比べてやや異質な…
justinribeiro/lite-youtubeでYouTube埋め込みのパフォーマンスを改善する
YouTubeのiframe埋め込みは特に大量に配置したときパフォーマンスに問題がある。justinribeiro/lite-youtubeを導入して改善を図ろう。
オンラインジャッジを作った
あらすじ オンラインジャッジを作ったので紹介します。 作ったもの 経緯 今年も traP で機械学習講習会をしているんですが、せっかくなので演習問題にジャッジがつけたくなりました。 既存の OSS を使うことも考えたのですが、デプロイの仕方や実行環境の追加の仕方を調べるのがあまり楽しくなさそうだったこと、 traPの認証との連携も面倒そうというあたりから、…
よかった音楽2024Q2
いろいろ行った
Astro Container APIを使ってRSSで全文を配信する
Astro 4.9で追加されたContainer APIはAstroフレームワーク外でAstroコンポーネントをレンダーできる低レベルAPIだ。これを使うことでRSSにおける全文配信ができる。
ブログを/blogにした
前々からやりたかったこととして、ブログを/blogにした。ついでにデザインが一新された。記事はだいたい移行された。
SANABIが面白かった #indie_game
SANABIというゲームを遊んだ。マジで話とビジュアルが良く、翻訳が改善されて完璧になったので遊んでほしい。
よかった音楽2024Q1
J-POPを聴こうとし、一定の成果を収めることができた
よかった音楽2023
ぼっち・ざ・ろっくが全て悪く、インディーロックに突っ込んでいってしまった
Arch Linux (x86_64) 上でRISC-Vアセンブリをシュッと動かす
❤️逆張りオタクなのでRISC-Vが好きだけどRISC-Vのほうは俺のこと嫌ってるらしい
作った: dotstingray / 巨大な可能性で殴ってdotfilesを管理する
無限の拡張性を誇り素直なロジックが書けるdotfiles manager (110行ぐらい) を書いたよ
2023 抱負とやりたいこと
2022振り返りで抱負をやったから別記事では上がらんと思ったかマヌケが〜！
卑下をしない: 自分の上にも下にも人がいる
あなた今卑下しましたか？それはよくないことです。
2022 振り返り
え、何した？
ブログをAstroに移行した
式年遷宮 (8ヶ月ぶり)
1次落ちの話
舐めた受験をしたら普通に落とされた。これからの人生いったいどうなるのか？
fishをやめてzshに戻った
zshはプラグインマネージャが乱立していてその管理がつらいという欠点が、fishには既存シェルスクリプトとの互換性がないという欠点がある。好きな地獄を選んでよ
Rust: strtolっぽく文字列から数値と残りの文字列を得る
C 言語の `strtol` という関数は一見かなり奇妙なインターフェースをしているが、実際使ってみるとパーサ実装にめちゃくちゃ向いていることがわかる。Rustにもほしいよね。
OCamlの血に見る逐次実行と変数宣言のかたち
F#の美しさを真似したい．OCamlの堅牢さも捨てがたい．Rustのフレンドリーさも無視することはできない．
プログラミング言語 Koka 試した
食らえ秘奥義，algebraic effects を (実アプリケーションではまだ使えません……)
ブログを作り直した
もはや何回ブログを作り直したかもわからなくなってきたころ、ふと思い立ったのだ。「そうだ、ブログ作り直そう」
2021 振り返り
いろいろなことがあった年だった。
0次落ちの話
自己推薦書書いてたら精神から変な音がするようになった。果たして大学に進学することはできるのか？