Nobuo Yamashita (@nobsun) header
Nobuo Yamashita (@nobsun) profile picture

Nobuo Yamashita

@nobsun

I enjoy functional programming in Haskell. I love purely functional lazy programming. Haskellプログラミング大好き。バスフルート大好き。メデルダン(低音フルートを愛でる団)。 青空 @nobsun.bsky.social

sampou.org
Joined April 2007
  • Tweets32.3K
  • Following656
  • Followers1.3K
302Media
Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)Photo by Nobuo Yamashita (@nobsun)
美しいギミック
Image from Nobuo Yamashita (@nobsun)
2
1
20
3,802
Nobuo Yamashita retweeted
Hideyuki Tanaka (@tanakh) profile picture
Hideyuki Tanaka
@tanakhNov 5
なんかこんなニュースが入ってきたんで、PCでお手軽に使えるアプリを作ってみた。WindowsとLinuxのバイナリを配布してます。CPUだけでもそれなりの速度で動きますね。 github.com/tanakh/plamo-tran… github.com/tanakh/plamo-tran…
GitHub - tanakh/plamo-translate-desktop

GitHub - tanakh/plamo-translate-desktop

Contribute to tanakh/plamo-translate-desktop development by creating an account on GitHub.

github.com
Preferred Networks (@PreferredNetJP) profile picturePreferred Networks
@PreferredNetJPNov 5
【発表】PFN開発の高品質な翻訳特化型LLM PLaMo 3 Translateをダウンロード可能な4つのサイズのオープンウェイトモデルで公開しました。海外の主要モデルを上回る翻訳品質で、一定条件のもとスマホ、ノートPC、社内サーバー等で機密情報もクラウドを介さずにAI翻訳可能です。 preferred.jp/ja/news/pr20261…
PFN、世界最高水準のAI翻訳がエッジで可能な大規模言語モデル PLaMo 3 Translate をオープンウェイトで公開 - 株式会社Preferred Networks

PFN、世界最高水準のAI翻訳がエッジで可能な大規模言語モデル PLaMo 3 Translate をオープンウェイトで公開 - 株式会社Preferred Networks

株式会社Preferred Networks（本社：東京都千代田区、代表取締役社長：岡野原大輔、以下、PFN）は、PFNのAI翻訳サービス PLaMo™翻訳　で利用している翻訳特化型の大規模言語モデル（LLM）PLaMo 3 Translate＊を本日、オープンウェイトモデルとしてPFNのHugging Fa

preferred.jp
3
126
6
586
48,967
Nobuo Yamashita retweeted
いしたー (@sonicair) profile picture
いしたー@sonicairNov 4
思うに、コーディングエージェントを使って仕事をするの、裁量労働制でないと無理なのでは？ 1日8時間、途中でミーティング等を挟むとしても、決まった時間に作業できるような代物ではない。人間に対する負荷が高すぎる。 途中で昼寝などができる環境でないとこんなものは扱えない
5
184
51
1,424
371,587
Nobuo Yamashita retweeted
KOBA789 (@KOBA789) profile picture
KOBA789
@KOBA789Nov 5
Coding Agent に仕事を奪われ、アイデンティティクライシスに陥っているのなら、ぜひ人工衛星開発に来てほしい。まだまだ人間がどうにかしなければならない難題が積み上がっており、AI があってもなお困難でやりがいのある世界だ。お前もぜひ
8
119
12
844
71,944
Nobuo Yamashita retweeted
KOBA789 (@KOBA789) profile picture
KOBA789
@KOBA789Nov 5
むしろ AI によって些細な問題が片付けられるようになった今が一番楽しいといえる。本当に大切なことに集中し、フロンティアに挑戦できる
7
86
5,229
おはよう。
なぞのデザイナー (@nazonodesigner) profile pictureなぞのデザイナー
@nazonodesignerNov 5
まだ眠れない人のために問題を作りました
Image from なぞのデザイナー (@nazonodesigner)
100
Nobuo Yamashita retweeted
(び) (@bizenn) profile picture
(び)@bizennNov 5
同じことが日本でも起きそう。外国人労働者を追い出して空いた仕事に就く日本人労働者はいなかった、と。第一次産業は壊滅しそう。
2
88
生活苦の怒りが大統領に向かうだけアメリカはまともだよね。日本ではなぜか「俺の生活が苦しいのは野党のせい／外国人のせい」って思い込んでる人が大勢いるからなあ（画像は今日11/5の朝日新聞より）。
Image from 新保信長／南信長 (@nobunagashinbo)
25
710
25
1,866
22,556
ヨジワケ #309 🎯 🟨🟨🟨🟨 🟦🟦🟦🟦 🟪🟪🟪🟪 🟩🟩🟩🟩 🟧🟧🟧🟧 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

ヨジワケ - 四字熟語パズル

20個の漢字から5つの四字熟語を見つけ出す日替わりパズルゲーム

yojiwake.vercel.app
80
『型システム入門』も『ゼロから始めるLean言語入門』も編集者が同じなので、面白すぎるのは間違いないです lambdanote.com/products/lean…
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発

ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発

井上亜星 著 228ページ A5判 ISBN：978-4-908686-21-4 プログラミングと数学をつなぐ／ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェア...

lambdanote.com
Hayato O (@o8_vm) profile pictureHayato O@o8_vmNov 4
型システム入門読み始めたんですが面白過ぎない？もっと早く読み始めればよかった。これもラムダノートの"ゼロから始めるLean言語入門"読んだらなんか拒絶感全くなくなく読めるようになってた。なんか読める本が一気に増えたんだけど"ゼロから始めるLean言語入門"すごすぎない？ありがとうございます
33
2
191
13,618
TVアニメ「葬送のフリーレン」より「ケロリン桶」が登場！ その名も『温泉のフリーレン ケロリン桶』！ 底面には、温泉に入ってほっこりとした フリーレンのイラストをデザイン。 自宅のバスタイムが一気に“フリーレンの世界”に！

72
1,526
183
12,843
2,911,563
ヨジワケ #308 🎯 🟨🟨🟨🟨 🟩🟩🟩🟩 🟪🟪🟪🟪 🟦🟦🟦🟦 🟧🟧🟧🟧 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

ヨジワケ - 四字熟語パズル

20個の漢字から5つの四字熟語を見つけ出す日替わりパズルゲーム

yojiwake.vercel.app
88
ヨジワケ #307 🎯 🟨🟨🟨🟨 🟧🟧🟧🟧 🟩🟩🟩🟩 🟦🟦🟦🟦 🟪🟪🟪🟪 ❤️🖤🖤🖤 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

ヨジワケ - 四字熟語パズル

20個の漢字から5つの四字熟語を見つけ出す日替わりパズルゲーム

yojiwake.vercel.app
77
Nobuo Yamashita retweeted
hyakum (@Hundert07) profile picture
hyakum@Hundert07Oct 15
台湾の同僚に教えてもらった fab24hr っていう無料の半導体工場ゲーム, 細部まで再現されてて草. 完全に中の人が作ってるやろ fab24hr.com/ja/?lang=ja&utm_…
fab24hr｜半導体工場で働く人の一日

fab24hr｜半導体工場で働く人の一日

深夜02:47、電話が鳴る。装置に赤ランプが点き、誰もが、あなたが「何時に直るか」を答えるのを待っている。

fab24hr.com
1
258
40
1,085
100,668
ヨジワケ #306 🎯 🟧🟧🟧🟧 🟪🟪🟪🟪 🟦🟦🟦🟦 🟨🟨🟨🟨 🟩🟩🟩🟩 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

ヨジワケ - 四字熟語パズル

20個の漢字から5つの四字熟語を見つけ出す日替わりパズルゲーム

yojiwake.vercel.app
64
こちらもい天皇陛下の動画と同じで、いいねもポストも消されますね。ブックマークだけ残っています。 というわけで右下の上矢印アイコンから、リンクしてコピー、しておきました。どこかに貼らなくてもOKです。
ニコニコニュース (@nico_nico_news) profile pictureニコニコニュース
@nico_nico_newsMay 29
東京大学大学院教授の本田由紀氏が国会前デモでスピーチ「人々の生命、生活、尊厳を守るという原則を目指すどころか、それとは真逆のような振る舞いをし続けているのが自民党であり、その醜悪な部分を煮詰めたような首相が安倍晋三であり、現在の高市早苗です」「そこをどけ！」 #戦争させない0529

【LIVE】せんそうさせない緊急アクション 5.29国会正門前デモ #戦争させない0529

22
6,435
111
17,308
259,034
え？なに？
87
ヨジワケ #305 🎯 🟩🟩🟩🟩 🟨🟨🟨🟨 🟪🟪🟪🟪 🟧🟧🟧🟧 🟦🟦🟦🟦 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

ヨジワケ - 四字熟語パズル

20個の漢字から5つの四字熟語を見つけ出す日替わりパズルゲーム

yojiwake.vercel.app
88
おたべしかしらんのが八ッ橋についてなんかゆうとる。 「八橋」って知ってる。光琳の硯箱の意匠を見せて、これのことだよといったら。△じゃないじゃないじゃん。だって。#でもまぁわかる気がするがもにょる
1
111
TaPLの15章がわからない？『型システムのしくみ』の6章（部分型付け）を読めばいいのではないでしょうか？ lambdanote.com/products/type…
型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語

型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語

遠藤侑介 著 184ページ A5判 ISBN：978-4-908686-20-7 型システムがようやくわかった！ TypeScriptのサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを見ていきます。AST（抽象構文木）や処理系の実装を通してプログラミングへの理解を深めるように、型検査器の実装を通して「型システムのしくみ」を覗いてみましょう！

lambdanote.com
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasollaOct 30
オブジェクト指向がわからない？ TaPL の 15 章 (Subtyping) 〜 読めば良いのではないでしょうか？？ (胡乱)
10
28
2,082
Nobuo Yamashita retweeted
Yusuke Terada (@doraTeX) profile picture
Yusuke Terada
@doraTeXOct 31
このたび、TeXShopを26年間開発してこられたRichard Koch先生（米Oregon大学名誉教授）が、ご高齢のため勇退されることになりました。Koch先生が担ってこられたタスクは、次のように引き継がれました。 ・TeXShop：寺田 ・MacTeX, Ghostscript：Bruno Voisin ・Mailing Listでのサポート：Herb Schulz
Haruhiko Okumura (@h_okumura) profile pictureHaruhiko Okumura
@h_okumuraOct 30
MacTeXやTeXShopの生みの親Richard Koch先生が引退される。TeXShopは寺田さん @doraTeX が引き継がれる。新しいサイトは texshop.app
4
145
6
543
40,361
Load more