abap34 (@abap34) header
abap34 (@abap34) profile picture

abap34

@abap34

grad student in programming language @ science tokyo / #swallows

 Tokyo
abap34.com
Joined August 2018
  • Tweets2.7K
  • Following589
  • Followers1.8K
163Media
Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)Photo by abap34 (@abap34)
abap34 retweeted
oka-hiro (@okahiro0_0) profile picture
oka-hiro@okahiro0_0Nov 5
年収600万円でCNSレベル論文持ちを100人海外から招致のやつ 推進してた先生は阪大の教授だから無理なことは絶対わかっているはずなので、文科か大学事務とかから条件と年収制限出されて「ああ、これプレスリリースで自分の名前出るけど炎上覚悟で無理を証明しよう」ってなってやり切った可能性あるな
26
1,191
54
7,122
408,397
abap34 retweeted
Gnico (@GnicoJP) profile picture
Gnico@GnicoJPOct 29
知力!創造力!人間力？活力!リーダーシップ! somuka.titech.ac.jp/reiki_in…
abap34 (@abap34) profile pictureabap34@abap34Oct 29
東京科学大学学生リーダーシップ賞を受賞しました ㊗️🙏 引き続き精進します！
Image from abap34 (@abap34)
Image from abap34 (@abap34)
1
3
312
ちゃんと論文読んでないけどこの中の二つが倒されたのやばい lealgorithm.blogspot.com/201…
Image from Nobutaka Shimizu (@knewknowl)
1
26
1
120
11,613
全部倒されたらしい
5
11
598
【NHKニュース速報 10:59】 プロ野球・巨人の新監督 松井秀喜氏が就任へ 大リーグのヤンキースや巨人でプレー
10,299
2,123
24,811
6,741,532
サヨナラホームラン！！ 勝利の瞬間！🙌 #swallows #燕心全開 #山田哲人
37
2,490
218
13,997
326,356
AI Slop (@AIslop_) profile pictureAI Slop
@AIslop_Sep 2
23
2,287
663
12,717
1,410,904
【#石川雅規 投手 引退会見】 本日、石川雅規投手の引退会見を行いました💐 『25年間スワローズのユニホームを着て神宮球場に立てたことが誇りで、本当に幸せな野球人生でした。』 ▽全てのコメントはこちら▽ yakult-swallows.co.jp/news/d… #swallows
Image from 東京ヤクルトスワローズ公式 (@swallowspr)
Image from 東京ヤクルトスワローズ公式 (@swallowspr)
Image from 東京ヤクルトスワローズ公式 (@swallowspr)
50
2,634
237
14,928
426,323
【#石川雅規 現役引退】 さらば、小さな大投手。 ヤクルト一筋２５年。通算１８８勝の球界最年長４６歳が決断しました。 #swallows #ヤクルト ヤクルト記者はこちら @sanspo_swallows 記事はこちらsanspo.com/article/20260902-…
Image from サンスポEXTRA@東京整理部 (@sanspoTYOeditor)
144
5,782
1,188
20,737
1,779,457
ちなみに Twight というのはこれです，組版結果は本当に綺麗で，高校生でこれを作ったのは凄かったんだけど（自画自賛），ソフトウェアの完成度に反してデモが上手く行きすぎてしまい，Yahoo ニュースとかに載ってしまった手前，中途半端な状態で出すに出せなくなってしまった logmi.jp/main/technology/325…
美しい組版を実現させる新しい処理システム「Twight」 WYSIWYGへの依拠を回避しつつグラフィカルな媒体を実現

美しい組版を実現させる新しい処理システム「Twight」　WYSIWYGへの依拠を回避しつつグラフィカルな媒体を実現

美しい組版を実現させる新しい処理システム「Twight」　WYSIWYGへの依拠を回避しつつグラフィカルな媒体を実現｜ログミーBusinessに掲載された講演書き起こしを統合した、Eightのビジネスメディア Re|vent

revent.8card.net
6
2
51
2,667
未踏事業にて開発してきた組版エンジン minitype を公開しました！ TypeScript ライブラリとして組版（文書生成）を実行できる点がポイントで，生成 AI と組み合わせたり，アプリケーションに組込んだりと様々な使い方が可能になっています．ぜひぜひ使ってみてください． zenn.dev/inaniwaudon/article…
TypeScript ライブラリとして動作する組版エンジン minitype を公開しました

TypeScript ライブラリとして動作する組版エンジン minitype を公開しました

zenn.dev
9
378
48
1,069
257,689
大谷、自分がコントロールできないところには感情使わないの徹底しててえらい
270
3,345
351
69,756
7,847,733
証明支援系カレンダーの18日目の記事を投稿しました！ カバレッジ検査アルゴリズムの検証付き実装をAgdaでした話です！ wasabi315.github.io/ja/posts…
1
7
1
14
3,039
abap すごすぎか？
NIKKEI Developers (@nikkeideveloper) profile pictureNIKKEI Developers@nikkeideveloper23 Apr 2025
東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei hack.nikkei.com/blog/trap_ka… #HackTheNikkei
東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei

東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei

2025年3月に東京科学大学デジタル創作同好会 traP と開催したデータ分析コンペについて紹介します。

hack.nikkei.com
2
19
3,378
東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei hack.nikkei.com/blog/trap_ka… #HackTheNikkei
東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei

東京科学大学デジタル創作同好会 traP と共同でデータ分析コンペを開催しました！ — HACK The Nikkei

2025年3月に東京科学大学デジタル創作同好会 traP と開催したデータ分析コンペについて紹介します。

hack.nikkei.com
8
2
39
7,423
自分が好きなこととして始め、好きなように進めたプロジェクトが、リリースまでこぎ着けました。 長い間、チャレンジしてみたいと思っていた方向の話でもあり、技術者として、最高の体験になりました。
DeepSpeed (日本語アカウント) (@DeepSpeedAI_JP) profile pictureDeepSpeed (日本語アカウント)
@DeepSpeedAI_JP16 Apr 2025
DeepSpeedの新機能 "DeepCompile" をリリースしました！ ✅プロファイルに基づく並列処理の自動最適化 ✅ ZeROやオフロードをコンパイラの最適化パスとして実現 ✅ ZeRO1 / ZeRO3 / オフロードの 1.2〜7倍の高速化を達成 詳細は下記をご覧ください ブログ(英語): tinyurl.com/8cys28xk
Image from DeepSpeed (日本語アカウント) (@DeepSpeedAI_JP)
2
17
58
16,035
【訃報】つば九郎の担当者が死去 ヤクルト発表、6日から体調不良で休養 news.livedoor.com/article/de… 昨年にはデビュー30周年を迎えた。今年も2月のキャンプに姿を見せていたが、6日には休養が発表。4月中旬まで予定されていたイベントへの出演が見合わせとなっていた。
Image from ライブドアニュース (@livedoornews)
1,226
49,435
10,677
173,148
17,314,320
Lapispla で左単位元と右単位元が同じであることも言えた lapisla.net/view?id=4d656e2d…

Lapisla.net

Lapisla is a user-friendly theorem prover and ecosystem designed for everyone. Greetings! 👋

lapisla.net
ひゅ〜Men⏸️ (@men_cotton) profile pictureひゅ〜Men⏸️@men_cotton9 Feb 2025
Replying to @men_cotton
左・右単位元の唯一性はできた
1
1
1
2,085
ここ2-3週間くらい取り組んでいたものがリリースされました！👏 ハッカソンで 定理証明支援系 兼 証明共有プラットフォーム を作るというおそらく人類初の試みとなっています 発展途上ではありますが、決して"作りかけ"とは呼べないくらいの完成度になっていると思います！ぜひ使ってみてください！
abap34 (@abap34) profile pictureabap34@abap349 Feb 2025
【リリース】 ハッカソンで定理証明支援系 「** lapisla **」とそのプラットフォームを作りました！🥳🎉 - レジストリにワンクリックで登録・import 可能 - Web上で完結して環境構築不要 などの特徴があります！ぜひ触ってみてください！ lapisla.net
Image from abap34 (@abap34)
Image from abap34 (@abap34)
1
10
1
45
27,206
[記事を投稿しました] 冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！ trap.jp/post/2478/
冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！

冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！

この記事は 1/19 ~ 1/26 に行われた冬ハッカソン2024 10 班「Cat dance at the cafe」の参加記です。 私たちは今回のハッカソンで定理証明支援系 「lapisla-prover」とそのほか全てを開発し、技術賞を獲得しました 🥳‌                               この記事ではこの lapisla-prover のコンセプトと実装を...

trap.jp
1
26
2
81
11,080
Load more