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.4K
  • Following656
  • Followers1.3K
303Media
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,804
Nobuo Yamashita retweeted
cutsea110 (@cutsea110) profile picture
cutsea110@cutsea11013h
第6回『コンパイラ — 原理と構造』読書会 を公開しました！ sampou.connpass.com/event/41… #ao_compiler
第6回『コンパイラ — 原理と構造』読書会 (2026/12/05 13:00〜)

第6回『コンパイラ — 原理と構造』読書会 (2026/12/05 13:00〜)

# 第6回 『コンパイラ — 原理と構造』読書会 大堀淳先生の『コンパイラ — 原理と構造』を読みます。 ビデオ教材もありますので、それも参考にしながら、実装しながら、楽しみましょう。 ## オンライン開催 Google Meet によるオンラインでの開催になります。 登録いただいた参加者の方には URL など参加のための情報を前日までに通知いたします。 当日まで connpass...

sampou.connpass.com
1
1
59
f(1)+f(49)
cutsea110 (@cutsea110) profile picturecutsea110@cutsea1108h
50*f(1)までは分解できるけどf(1)が分からないからな。
60
19 ちょっと無理があるけど。
cutsea110 (@cutsea110) profile picturecutsea110@cutsea1108h
18?
60
ヨジワケ #312 🎯 🟦🟦🟦🟦 🟩🟩🟩🟩 🟨🟨🟨🟨 🟪🟪🟪🟪 🟧🟧🟧🟧 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

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

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

yojiwake.vercel.app
51
おやすみ。
なぞのデザイナー (@nazonodesigner) profile pictureなぞのデザイナー
@nazonodesigner8h
まだ眠れない人のために問題を作りました #あなたの異常度診断
Image from なぞのデザイナー (@nazonodesigner)
188
まあ1に近いのはどっち？と読み換えれば簡単。
cutsea110 (@cutsea110) profile picturecutsea110@cutsea1108h
これも同じでやれる。 2027/2028=(1+2026)/(1+2027)なので1/1 と2026/2027の間にいる。当然1>2026/2027なので1>2027/2028>2026/2027となる。 ちなみになぜ間にあるかの説明はベクトルの合成でこれらを傾きと捉えると考えると簡単。ただし第1象限と第4象限側で考えた場合。
51
Nobuo Yamashita retweeted
_ko1 (@_ko1) profile picture
_ko1@_ko114h
[本屋さんを開催する技術（RubyKaigi 2026 follow up）](zenn.dev/ko1/articles/264b23…) 9月のイベントです。受付・チケット代徴収兼本屋。
本屋さんを開催する技術（RubyKaigi 2026 follow up）

本屋さんを開催する技術（RubyKaigi 2026 follow up）

zenn.dev
1
2
2
510
Nobuo Yamashita retweeted
_ko1 (@_ko1) profile picture
_ko1@_ko114h
[本屋さんを開催する技術（Kaigi on Rails 2026）](zenn.dev/ko1/articles/e7502e…) 10月の KoR の記事です。やっと追いついた。
本屋さんを開催する技術（Kaigi on Rails 2026）

本屋さんを開催する技術（Kaigi on Rails 2026）

zenn.dev
1
3
12
828
Contrabass Flute: The Giant of the Flute Family! youtu.be/O5Dc7elb3ak?si=D6w_… @YouTubeより
Contrabass Flute: The Giant of the Flute Family!

Contrabass Flute: The Giant of the Flute Family!

Contrabass FluteMeet the contrabass flute — one of the largest an...

youtube.com
1
114
ヨジワケ #311 🎯 🟦🟦🟦🟦 🟩🟩🟩🟩 🟨🟨🟨🟨 🟧🟧🟧🟧 🟪🟪🟪🟪 ❤️❤️❤️❤️ 🅷 yojiwake.vercel.app #ヨジワケ
ヨジワケ - 四字熟語パズル

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

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

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

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

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

yojiwake.vercel.app
82
『型システム入門』も『ゼロから始める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,697
TVアニメ「葬送のフリーレン」より「ケロリン桶」が登場！ その名も『温泉のフリーレン ケロリン桶』！ 底面には、温泉に入ってほっこりとした フリーレンのイラストをデザイン。 自宅のバスタイムが一気に“フリーレンの世界”に！

75
1,561
188
13,141
2,975,700
Load more