がくぞ Profile
がくぞ

@gakuzzzz

Followers
3K
Following
15K
Media
135
Statuses
35K

(株) Tech to Value 代表 / Scalebase (株) Tech Lead

Joined February 2010
Don't wanna be here? Send us removal request.
@gakuzzzz
がくぞ
@gakuzzzz
9 months
静的検査を活かして高速かつ安全にビジネスをスケールさせていく開発に興味がある方は、いま採用広げてますので是非お声がけ頂ければ。気軽にカジュ面とかしませう.
@gakuzzzz
がくぞ
@gakuzzzz
9 months
そういえばアルプのプロダクト、しばし前から Scala 3 で本番環境も動いてましたが、いつでも戻せるように Scala 2.13 でもクロスビルドしてました。.それを先日 2.13ドロップして Scala 3 のみにしたので 諸々便利な機能も使えるようになりましたヤッター.
0
7
42
@gakuzzzz
がくぞ
@gakuzzzz
11 days
RT @_kaelaela: （もう帰るよって方のためにw）今日の発表資料です！. #AI駆動開発.
0
46
0
@gakuzzzz
がくぞ
@gakuzzzz
18 days
アルプ株式会社あらためScalebase株式会社になりました。よろしくおねがいします.
@scalebase_alp
【公式】Scalebase
@scalebase_alp
19 days
【📣経営体制刷新、社名変更のお知らせ】.アルプ株式会社は、2025年7月1日付で経営体制を刷新し、執行役員CROであった毛利 悠記が代表取締役CEOに就任したことをお知らせします。合わせて「Scalebase株式会社」に社名を変更いたします。.
0
5
30
@gakuzzzz
がくぞ
@gakuzzzz
1 month
AI Agent を活用するために現場が Excel方眼紙を止めるより、 AI Agent が Excel方眼紙を読めるようになる方が速そう. .
0
0
2
@gakuzzzz
がくぞ
@gakuzzzz
1 month
まさかExcel方眼紙仕様書を滅ぼすためのキラーアプリが AI Agent だとはさすがのこのがくぞの目をもってしても.
0
0
5
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @sumihagoromo: o3にScalaは世界一って言わせてみたよ！
Tweet media one
0
3
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @lotz84_: 幅優先探索 bfs は無向グラフに対して実装されていて、訪問済みを管理する dist 及び queue が大域的な状態を管理している👀 この内 queue については levels の考え方を使えば局所的な実装に分解できるけど、dist については上手….
0
2
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @kmizu: 「型システムのしくみ」輪読会 Vol.1 #TSで学ぶ型システム . 関数型まつりの影響（？）もあるのか、44名！初回、しくじらないようにしっかり準備したいと思います。.
0
7
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @blackenedgold: zennの記事書きました. #fp_matsuri. 関数型まつり2025で出たトピックの前提知識とか.
0
45
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @chiroito: ご参加いただいたみなさん、ありがとうございます。.本日の資料はこちらです。.#kanjava . OpenJDKエコシステムと開発中の機能を紹介 2025夏版. こちらの資料は #jjug_ccc で話….
0
10
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
久々に2日連続で物理アバター動かしたからさすがに疲れましたね.
0
0
2
@gakuzzzz
がくぞ
@gakuzzzz
1 month
#fp_matsuri を追って貰えればわかりますが、実際のところ僕のｯｨｰｮはまだかわいい方でした………….
@a_suenami
すえなみ
@a_suenami
1 month
がくぞさんがこわいツイートばかりしてる.
0
2
13
@gakuzzzz
がくぞ
@gakuzzzz
1 month
RT @y_taka_23: 本日の登壇資料です。#fp_matsuri #fp_matsuri_a. AWS という巨大システムの認可基盤に対して、実は Lean が結構ガッツリ使われてるんだぜ、という話を論文 + 実装ベースで解説します。. AWS と定理証明 〜ポリシー言….
0
72
0
@gakuzzzz
がくぞ
@gakuzzzz
1 month
会場から離脱！楽しかった！！！全ての関係者の皆様ありがとうございました！！！ #fp_matsuri.
0
2
13
@gakuzzzz
がくぞ
@gakuzzzz
1 month
soundness の証明もあるのか #fp_matsuri #fp_matsuri_a.
0
0
2
@gakuzzzz
がくぞ
@gakuzzzz
1 month
仕様バグ捕まえられるのつよい #fp_matsuri #fp_matsuri_a.
0
0
4
@gakuzzzz
がくぞ
@gakuzzzz
1 month
この辺は人数集めるより少人数でAIエージェント使ったほうが捗りそう #fp_matsuri #fp_matsuri_a.
0
0
3
@gakuzzzz
がくぞ
@gakuzzzz
1 month
この辺の Put や Meta を定義する際に、全ての自前定義したドメインプリミティブ個別に定義して回ると大変なので抽象化すると便利ですね #fp_matsuri #fp_matsuri_a.
0
1
4
@gakuzzzz
がくぞ
@gakuzzzz
1 month
opaque types はいいぞ…… #fp_matsuri_a #fp_matsuri.
0
1
6
@gakuzzzz
がくぞ
@gakuzzzz
1 month
Option#get だーーーー！！！滅ぼせーーー！！！！！！ #fp_matsuri #fp_matsuri_b.
0
0
11
@gakuzzzz
がくぞ
@gakuzzzz
1 month
groupBy を自前で定義する場合には value の型は NonEmptyList にしておくとめっちゃ捗るぞ！ #fp_matsuri_b #fp_matsuri.
0
0
6