数学
イベント
注目のイベント
01/15(木)
19:00〜21:15
マガジン
技術ブログ
ノートPCで動くローカルLLM完全ガイド【2025年12月版】
2025/12/19
ブックマーク
こんにちは、サイオステクノロジーの遠藤です。 クラウドAPIを使わず、手元のノートPCでLLMを動かしたいと思ったことはありませんか？ 2025年現在、軽量で高性能なモデルが続々と登場し、一般的なノートPCでも実用的なLLMを動かせるようになりました。本記事では、ノートPCで動作する主要なローカルLLMモデルを公式ソースをもとに徹底比較し、導入時の注意点まで解説
プログラマのための Functor・Applicative Functor・Monad 入門
2025/12/18
ブックマーク
はじめに 認証・権限管理基盤チームでソフトウェアエンジニアをしている金子です。 「Monad（モナド）」という言葉をご存知でしょうか。Haskell を少し触ったことがあれば、名前だけは聞いたことがあるのではないでしょうか（私もその一人です）。Monad は圏論という数学の分野から来た概念であり、数学的に正確な理解を得るのは簡単ではありません。 しかし、プログ
形式意味論と定理証明支援系を利用した議論の形式化
2025/12/18
ブックマーク
これは株式会社LabBase テックカレンダー Advent Calendar 2025 12日目の記事です。 概要 学生時代から、論文などの議論の精読に対して、「絶対誰かがもう論理的な整合性を確かめたことあるんだろうな〜」と思い、その度に論理的な整合性の再確認に対してめんどくささを感じてきました。 本稿では形式意味論と定理証明支援系を利用して、あらゆる議論を形式化することで、
動画
書籍
発売日 : 2025年12月02日
発売日 : 2025年11月10日
発売日 : 2025年11月10日
発売日 : 2026年01月26日
