Lightnews — Scholar-powered news

Reposted by Motoki KAMIMURA

関数型まつり

@fp-matsuri.bsky.social

📣 関数型まつり2026 スポンサー募集開始 📣

関数型プログラミングの思想・技術にフォーカスしたテックカンファレンスです。
コミュニティを一緒に盛り上げてくださる企業様・個人の皆様をお待ちしています！
docs.google.com/presentation...

📝 お申込み： forms.gle/etaqatqL58z3...

#fp_matsuri

関数型まつり2026 スポンサーシップのご案内_20260115

スポンサーシップのご案内 ver. 2026.01.15 関数型まつり2026 2026.7.11 sat – 12 sun

docs.google.com

January 15, 2026 at 3:33 AM

Reposted by Motoki KAMIMURA

関数型まつり

@fp-matsuri.bsky.social

📣関数型まつりコアスタッフ募集中です📣

来週1月18日(日)に、キックオフミーティングを開催します。具体的な活動内容や各チームの役割について詳しくご説明します。
関数型まつり2026にスタッフとしてご協力いただける方は、下記のリンクから参加登録をお願いします。 #fp_matsuri jsa.connpass.com/event/380068/

January 11, 2026 at 9:46 AM

Reposted by Motoki KAMIMURA

関数型まつり

@fp-matsuri.bsky.social

📣コアスタッフ募集開始📣
関数型まつり2026の企画・運営を担うスタッフ募集と、キックオフミーティングを実施します！
「コミュニティに貢献したい」「技術カンファレンスの運営に興味がある」という方、まずは話を聞いてみるだけでも大歓迎です！ #fp_matsuri
jsa.connpass.com/event/380068/

[初参加歓迎] 関数型まつり 2026 コアスタッフキックオフミーティング (2026/01/18 19:00〜)

## 「関数型まつり 2026」の舞台裏を一緒に作り上げませんか？プログラミング言語の垣根を超え、関数型プログラミングの知見を共有し合う「関数型まつり」。 2026年の開催を成功させるため、企画・運営を担うスタッフを募集します。本キックオフでは、具体的な活動内容や各チームの役割について詳しくご説明します。「コミュニティに貢献したい」「技術カンファレンスの運営に興味がある」という方、ま...

jsa.connpass.com

January 4, 2026 at 1:27 AM

Reposted by Motoki KAMIMURA

関数型まつり

@fp-matsuri.bsky.social

🎍関数型まつり 2026 開催決定！🎍

新年あけましておめでとうございます。今年も関数型まつりを開催します🎊

日程：2026年7月11日(土) - 12日(日)
会場：中野セントラルパークカンファレンス

最新の情報はXとBlueskyでも発信していきます！ #fp_matsuri
2026.fp-matsuri.org

関数型まつり 2026

関数型まつりは関数型プログラミングをテーマとしたカンファレンスです

2026.fp-matsuri.org

December 31, 2025 at 3:00 PM

Reposted by Motoki KAMIMURA

Yoshitaka Totsuka

@yoshitaka.bsky.social

今年は座長の1人として参加します！
スタッフ募集、スポンサー募集、プロポーザル募集、参加登録などなど、追って案内も出していくので @fp-matsuri.bsky.social のフォローをお願いします。

関数型まつり @fp-matsuri.bsky.social · 16d

🎍関数型まつり 2026 開催決定！🎍

新年あけましておめでとうございます。今年も関数型まつりを開催します🎊

日程：2026年7月11日(土) - 12日(日)
会場：中野セントラルパークカンファレンス

最新の情報はXとBlueskyでも発信していきます！ #fp_matsuri
2026.fp-matsuri.org

関数型まつり 2026

関数型まつりは関数型プログラミングをテーマとしたカンファレンスです

2026.fp-matsuri.org

December 31, 2025 at 3:18 PM

Reposted by Motoki KAMIMURA

Marco Lübbecke

@mluebbecke.bsky.social

SCIP 10 features an option for solving MIPs exactly

#orms #or2025

September 3, 2025 at 12:25 PM

Motoki KAMIMURA

@usabarashi.bsky.social

Twitter が見れないことをTwitterに Post できない, いつものパターン.

November 18, 2025 at 12:21 PM

Reposted by Motoki KAMIMURA

Takumi Ikeda

@esusannae.bsky.social

日本ではSuperCollider単体についての初の書籍がようやくアナウンスされ
bnn.co.jp/products/978...
そのタイミングで原作者による「続編」の存在を知る。APL(!)に想を得た関数型・後置構文言語らしい…
github.com/lfnoise/sapf

GitHub - lfnoise/sapf: Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping. - lfnoise/sapf

github.com

November 4, 2025 at 6:02 PM

Reposted by Motoki KAMIMURA

佐々木遥

@kidourakumnri.bsky.social

「私は数学はできなかったけど暗記はできるから最後は『もういい！覚えるから！』ってキレて、公式や定理とその証明をぜんぶノートにまとめて問題と解法のパターンを暗記したんだけど、先日会った人が『自分は正反対です。自分はひとつしか覚えられなくて……』って言って」と話した瞬間、中高同期が「ぜんぶ導出する人だ！いる！」って喜んでた

August 23, 2025 at 2:38 PM

Reposted by Motoki KAMIMURA

飯塚

@kaludoro.bsky.social

クワインの指示的に透明／不透明の議論は昔読んだとき、検索エンジン的なものの融通のきかなさ（確定記述を考慮してくれない）とかで想起してたンぢゃけどあれそのまま関数型JavaScriptの線で見てる文脈もあった　ていうかここらへんの分析系の古典的論文てプログラミング界隈でも大概使い回されてるよにぇ・・
qiita.com/NomuraS/item...

関数型JavaScriptへの入門#番外編1(参照透過性とクワイン) - Qiita

参照透過性の歴史的背景関数型JavaScriptへの入門#1(純粋関数とは)で参照透過性を調べてみたら、参照透過性のサーヴェイ記事の翻訳[2]を見つけ、これによると、この言葉は、ラッセル、クワインらが行った分析哲学の指示論に由来するということで驚きました。さらにこれの歴...

qiita.com

August 7, 2025 at 10:16 AM

Reposted by Motoki KAMIMURA

Tomoko Uchida

@mocobeta.dev

ブログ書きました。/
コーディングエージェントに形態素解析器は書けるのか。Claude Codeと二人三脚で奮闘した記録

ネタばらしをすると，失敗に終わりましたが，がんばってみたけど失敗した話というのは誰かの参考になるかもと思い，書き起こしてみました。ご笑覧ください。

blog.mocobeta.dev/posts/202507...

コーディングエージェントに形態素解析器は書けるのか。Claude Codeと二人三脚で奮闘した記録 | Keep Coding by @mocobeta

Claude Codeの練習のため，ある程度実践的，かつ手頃な規模のプロジェクトとして，[Janome](https://github.com/mocobeta/janome)をRustで書き直す＆PythonバインディングでJanome互換のAPIを実装する，ということをやってみました。結論から言うと，失敗に終わった（後述）のですが，振り返りと供養を兼ねて，ひとつの奮闘の記録を残しておこうと思い...

blog.mocobeta.dev

July 21, 2025 at 3:19 PM

Reposted by Motoki KAMIMURA

sneko

@superneko160.bsky.social

よく頑張ったな
お前の苦労をずっと見ていたぞ
developer.mozilla.org/en-US/blog/j...

JavaScript Temporal is coming | MDN Blog

A new way to handle dates and times is being added to JavaScript. Let's take a look at Temporal, what problems it solves, the current state, and what you'll find in the new documentation about it on M...

developer.mozilla.org

February 1, 2025 at 2:15 AM

Reposted by Motoki KAMIMURA

mod_poppo

@mod-poppo.bsky.social

ブログ更新した / 「関数型まつり」に行ってきた blog.miz-ar.info/2025/06/fp-m...

「関数型まつり」に行ってきた | 雑記帳

blog.miz-ar.info

June 29, 2025 at 3:00 AM

Reposted by Motoki KAMIMURA

Yoshitaka Totsuka

@yoshitaka.bsky.social

6/14-15に開催された『関数型まつり』について、自分が担当した箇所を中心にスタッフ視点で振り返ってみました。 #fp_matsuri
y047aka.github.io/posts/fp-mat...

関数型まつりをスタッフ視点で振り返る — y047aka.github.io

2025年6月14日〜15日にかけて開催された『関数型まつり』に、運営スタッフ＆登壇者として参加しました。自分が担当した箇所を中心に、この半年間をスタッフ視点で振り返ってみます。

y047aka.github.io

June 28, 2025 at 9:10 AM

Reposted by Motoki KAMIMURA

Yoshitaka Totsuka

@yoshitaka.bsky.social

6/14-15に開催された『関数型まつり』について、Elmに関係する内容を中心に振り返ってみました。 #fp_matsuri
zenn.dev/y047aka/arti...

Elmと関数型まつり（2025）

zenn.dev

June 27, 2025 at 1:40 PM

Reposted by Motoki KAMIMURA

woinary

@woinary.bsky.social

AnthropicはClaude Codeについて「ターミナル内で動作し、コードベースを理解し、自然言語コマンドを通じてより高速なコーディングを支援するエージェンティックなコーディングツール」と言ってる
一方Gemini CLIのGitHubにはこう書いてある
「ツールに接続し、コードを理解し、ワークフローを高速化するコマンドラインAIワークフローツール」
全然違うよね
もちろん、コード生成もしてくれるが、Gemini CLIはコーディングツールだとは一言も言ってない訳で

June 27, 2025 at 6:50 AM

Reposted by Motoki KAMIMURA

ryota2357

@ryota2357.com

ひとまず手元でbuildNpmPackageしてgemini-cliを導入した。
github.com/ryota2357/do...

add gemini-cli from self derivation · ryota2357/dotfiles@f373ffa

github.com

June 26, 2025 at 4:09 AM

Reposted by Motoki KAMIMURA

knsh14

@knsh14.bsky.social

rg とか原始的な方法で頑張ってる claude code ちゃんが不憫になってきたので lsp を叩ける cli を作ってあげたがうまく動くんだろうか
github.com/knsh14/clsp

GitHub - knsh14/clsp

Contribute to knsh14/clsp development by creating an account on GitHub.

github.com

June 24, 2025 at 8:13 AM

Reposted by Motoki KAMIMURA

Junya Ogura🪼

@junyaogura.bsky.social

Claude Codeはプロンプトを記述したmdファイルを所定の場所に置くだけで "/ファイル名引数" で呼び出せるカスタムコマンドにすることができるんだけど、その仕様が実にちょうどいい塩梅で設計センスを感じるな。

- ファイルを置くパスは決まっている
- サブディレクトリが名前空間になる
- ファイル名=コマンド名になる
- 引数は$ARGUMENTSというプレースホルダでまとめて参照
- 他ファイルのincludeとシェルコマンドの結果の埋め込みができる
- それ以外のリッチなことはできない

docs.anthropic.com/ja/docs/clau...