kmizu
@kmizu
Followers
15K
Following
35K
Media
3K
Statuses
121K
A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません．思いついたことをつぶやきます．人生を楽しく生きよう（New!）
Osaka, Japan
Joined April 2007
#ts_tapl. 皆様、本日は参加いただきありがとうございます！懇親会も含めて濃い議論になり、主催者である私も楽しめました。次回は8/8（金）ですが、ページも作成しましたので、継続参加いただける方はお申し込みいただければと思います。.
jsa.connpass.com
# 📢イベント概要 今年の4月、「型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語（ラムダノート）」が出版されました。 この分野の本格的な入門書としては「型システム入門 プログラミング言語と型の理論（オーム社）」が定番とされていますが、前提として初等的な集合論の知識が必要だったり、普通のプログラマーにとってな難解な記号が駆使されていたりなどもあって、出版...
0
4
15
mondで匿名メッセージ・質問を募集しています。何でも送ってね！ #mondで質問募集中. こんな質問に回答しています.・behavioural subtyping….・ポーランド記法のプログラミング言語はなぜ増….・試しにGithubで管理してみたらよかった….
mond.how
プログラミング言語作りと構文解析が大好きなオッサンエンジニアです。よろしくお願いします。
1
0
1
マジの経済学を学ぶ必要はないけど、経済学的思考は取り入れていこうと呼びかけたい。. 限られた資源制約の中で人間がどういう行動をとるかのモデルを作らないと作るのでは全然違う。.
2
1
7
教育を変えようという前に公教育のリソース欠乏という根幹原因に対処するんがよきことかと。. よくわからない機能不全に見えるものは割と「余裕がない」から来てることも多い。リソース足りてない状態に追加業務を課して良くなるかは疑問。.
0
4
15
移民との軋轢の末に外国人排除を！と至る動きは世界各国であるけど、あれを生活不満が外国人に、とか、極右とかいうのは根本的に分析がミスってると思う。.
0
7
24
ちなみに、これは工学系（情報系含む）に進学した学生なら周知の事実可と思いますが、そもそも2000年代くらいは普通に工学系って女子に薄っすら避けられてる対象でしたからね……。. その結果として工学系の男女比が極端になり、疑似オタサーの姫状態が爆誕したり（以下略.
0
3
28
RT @nextbeat_dev: 【ハンズオン】【学生・若手歓迎】Scala 3で作る数式インタプリタ in 東京 #NextbeatTechBar . 【ハンズオン】【学生・若手歓迎】Scala 3で作る数式インタプリタ in….
nextbeat.connpass.com
# 📢 イベント概要 「自分だけのプログラミング言語、作ってみたくないですか？」 プログラミング言語開発は、少しマニアックなテーマに聞こえるかもしれません。 でも、「いつかは作ってみたい！」と考えているプログラマーの方は、意外と多いのではないでしょうか。専門書が定期的に出版されるくらい、実は根強い人気のある分野です。とはいえ、「難しそうな理論がたくさん出てきそう…」と、なかなか一歩を踏み出...
0
3
0
男子も、数学物理得意な子言うほど多くなく「理系ムリポ」となるので、単純に数物が難しく感じられる、が大きい気ががが。. 女子がより少ないは、単純に数物面白くない比率が女子に多い感じがします。理でも生物とかはそこそこ女子いるのがバイアスで説明するのが苦しいとこ。.
「理系の女子を増やす」を目的にした女子高生向けの講演を依頼されることが多いが、自分を文系だと思ってる高校生を理系に引き込むのは至難の業で高校生相手だと正直手遅れ感ある.
1
3
25
RT @nsfisis: #NextbeatTechBar での発表に触発されて、とりあえず(自分にとって) 一番簡単そうな VM-based engine を作ってみました .
github.com
Contribute to nsfisis/regulus development by creating an account on GitHub.
0
1
0
RT @atzyyama: 昨日発表した正規表現(flowregex)のコードやreadmeはこの形で生成AIによって作成しています。.理論面についてもかなりGemini 2.5の検討をしました。. #Nextbeattechbar.
m3tech.blog
こんにちは。今回は、GeminiとClaude 4という2つのAIアシスタントだけを使って、正規表現ライブラリを一から作成した体験をお話しします。 きっかけ：古い理論への興味 驚異的な開発速度：正味数時間で完成 AIアシスタントによる開発プロセス 役割分担の自然な発生 AIによるコード生成の質 学術論文レベルの理論整備…
0
5
0
RT @naoya_ito: ユニットテストや継続的インテグレーションは、常に動く物をベースにすべてを決めていくための足場固めのプラクティス··· 結合されているものが常に動くことを保証する、動かないと確認できないから、と思っているけどこれも、人によっては品質保証の方が主眼だと….
0
11
0
RT @naoya_ito: 自分はソフトウェア開発のプロセスは、この「動く物をベースにすべてを決めていく」ということ、それを実現するために技術的なプラクティスをあれこれ実践していくのが神髄だと思います.けど、この成功体験を感覚に理解できてない人とは本当に話が噛み合わない.
0
19
0
RT @naoya_ito: ハッカーと画家の画家のように試行錯誤しながら創るという話、テスト駆動で小さなプログラムを動かしながら作っていく、ホットリロードで変更が即座にプレビューできる、動的型付け言語が流行ったとか、すべて物を動かして確認しながら進んでいくのがいいんだというこ….
0
49
0
アルトマン氏らの発言からしてGPT-5が近いのは間違いないだろうけど、それより現在開発中のモデル（数学オリンピックで金メダル取れるやつ）の方が凄いことを示唆しつつ、GPT-5については期待しすぎないように期待値コントロールしてる印象。.
1
5
17
RT @naoya_ito: Kiro が今やってるのは先に仕様書を作って、それを人間がレビューして実装に入るというウォータフォール開発. これはこれでソフトウェアの品質を担保する伝統的手法、ただし、動くものをみる前にドキュメントで成果物の正しさを事前に担保する作業は、人間にと….
0
78
0