こんなツイートを見た． 論理学を勉強しようとして，論理哲学論考とかいう怪文書 (失礼) を手に取っちゃうの，ほんとうにかわいそう．— Masaki Haga (@silasolla) 2023年3月9日 『論理哲学論考』は哲学書として大事な本らしいが，「論理」を勉強したい人間が最初に手を出してよい本でないことは間違いない．こういうことを防ぐためにも次のような記事の更新をたびたびしてきた． sokrates7chaos.hatenablog.com しかし，この記事は単に論理学およびその周辺領域の本を並べてコメントしているだけなので，上記の事態を防げていないような疑惑が常々あった．「論理」の「何を勉強すればよいか」がわからんから「とりあえず，有名な本を手に取ればいいだろう」という発想をし，結果上記のツイートのような事態になるわけだが，「何を勉強すればよいか」について『論理学およびその周辺領域

2023年に公開したこちらの資料「今年導入したソフトウェア、魅力的だったソフトウェア（2023）」のその後について書いてみたいと思います。 いろいろ導入してみて、その後も使い続けているものと、結局使わなくなったものがあります。昨年を振り返りながら、自分なりの良し悪しを考えてみます。そして今年もいくつか導入したソフトウェアがあるので、それについても後半で言及します。 昨年導入したソフトウェアのその後Procreate Dreams、Sleeve 2、Unclutter、Dropover、TextSniper、Workspaces 2、Bike Outliner、Scapple、Name Mangler、Lasso、Hand Mirror、Dark Noise、DaisyDisk Procreate Dreamshttps://procreate.com/jp/dreams私にとって、Proc

過去に書いたもの luaを使用してpluginを開発する方法について学びたいと思います。 この記事は前回の記事の続きからになっています。 先に読んでおくと理解しやすいと思います。 対象者 vimの基本操作を理解していること,入力方法,検索方法,コマンドモード,visualモード等 luaでneovimのpluginを作成したい人 luaのpluginを読んでみたい人 lazyvimを使い始めた人 動作環境 Arch系 Linux (garuda linux) OS詳細情報 $ uname -a Linux tosi 6.6.9-zen1-1-zen #1 ZEN SMP PREEMPT_DYNAMIC Tue, 02 Jan 2024 02:28:04 +0000 x86_64 GNU/Linux $ cat /etc/os-release File: /etc/os-release NA

では、Rustの基本情報から学んでいきましょう。 「Rust」の基本情報 「Rust」は、WindowsでもmacOSでもLinuxでもクロスプラットフォームに対応した高速でスマートなプログラミング言語です。「Rust（ラスト）」とは、錆という意味でロゴマークもそこからデザインされたのでしょう。 「Rust」のロゴ Rustのメモリの管理の仕方、「所有権」とは？ Rustはメモリの管理の仕方がスマートな、とても優れたプログラミング言語です。 「所有権」という独特な概念でメモリを管理して、ビルド時にメモリリークが起こる可能性を排除するので、極めてメモリリークが起こりにくくなっています。例えば、次の図のように「スコープ」内だけ変数にメモリを所有する権利を与えて「スコープ」を抜けるときには、「所有権」を持つ変数のメモリを解放します。 「Rust」の「所有権」の仕組み Rustの追加機能、「クレー

そーだいさんが執筆された記事で、履歴テーブルから最新の1件を取ってくる方法について解説している。PostgreSQLの例だと以下のようなユーザーの履歴データに対し: CREATE TABLE history ( id SERIAL PRIMARY KEY, user_id INTEGER NOT NULL, data TEXT, created_at TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP ); INSERT INTO history (user_id, data, created_at) VALUES (1, 'First entry of user1', '2024-01-01 10:00:00'), (1, 'Second entry of user1', '2024-01-02 09:30:00'), (2, 'First entr

既に来年の大河ドラマ「べらぼう～蔦重栄華乃夢噺～」の番宣始まってるんだろうけど、「光る君へ」刀伊の入寇編以外は見てないこともあり、番宣もほとんど見逃していた。 【 解禁❶ 】 🎊特報動画(グローバルVer.)公開🎊#大河べらぼう を世界中の視聴者に届けられるよう、英語タイトル「#UNBOUND」と題し、特報動画を作りました！ UNBOUNDの意味とは 👉https://t.co/drmkSGxEB6 pic.twitter.com/ALX9MjAh3D— 大河ドラマ「べらぼう～蔦重栄華乃夢噺～」1/5放送開始 (@berabou_nhk) October 26, 2024 タイトルの話に気付いたのは番組経由でなく、小学館の「学習漫画日本の歴史」を図書館で借りたからだった。2022年が初版の最新版だ。 小学館版学習まんが　日本の歴史　１１　「内憂外患」の時代　～江戸時代３～ 作者:日笠

例えば次のようなテーブルがあったとする。 -- PostgreSQL CREATE TABLE history ( id SERIAL PRIMARY KEY, user_id INTEGER NOT NULL, data TEXT, created_at TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP ); -- MySQL CREATE TABLE history ( id INT AUTO_INCREMENT PRIMARY KEY, user_id INT NOT NULL, data TEXT, created_at DATETIME NOT NULL DEFAULT CURRENT_TIMESTAMP ); INSERT INTO history (user_id, data, created_at) VALUES (1, 'First

はじめに 株式会社ファースト・オートメーションCTOの田中(しろくま)です！ 弊社では製造業向けのRAGを使ったチャットボットの開発を行っていますが、 RAGで読み取りづらいなと感じているドキュメントが"Excel文書"です。 LLMを悩ませる"Excel文書"とは ここで"Excel文書"と呼んでいるドキュメントは、 「構造化されたテーブルを保存しているExcelファイル」 ではなく、 「 セルに文書を書いたり、オブジェクトや画像を挿入することで、いわゆる一般的な文書を作成しているExcelファイル 」 のことを呼んでいます。 そもそも一般的な文書作成においてはExcelではなく、Wordを使えばよいのでは？と思われるかもですが、以下の点でExcelで文書の資料を作成することはそれなりに便利な部分があると思っています。 枠を使って、グルーピングすることでドキュメントの構成が見やすくなる

非哲学科の人間が哲学の諸分野の概観をつかむために最初に手に取ると良いであろう本を紹介する*1．このブログ記事を書いている人間は非哲学科であるが，哲学科の人間にも目を通してもらい，悪書が紛れ込んでいないことなどは確認してもらっている． 基本的に自分が手に取った事のない本を薦めるのは主義に反するのだが，同種のまとめがあまりなさそうなので，他の人からの推薦された本も書名だけ書く*2． 論理学 形而上学 認識論 倫理学 科学哲学 心の哲学 言語哲学 哲学史（選書中） 選書基準のようなもの コメント返し はてなブログランキング掲載 論理学 推論や根拠ある論証について扱う学問領域を論理学と言う． 哲学を勉強する上で，特に勉強したい分野にこだわりがなければ，哲学の諸分野の本を読む基礎としての「論理」について書いてある本から手を付けるのが良かろうと思われる． 現代で「論理学」と言うと，論理を分析するための

こんにちは！ Magic Moment フロントエンドエンジニアの @morishin です。 この記事は、Magic Moment Advent Calendar 2024 4 日目の記事です。 はじめに 開発あるある 皆さん開発をしていて、コマンドの "待ち" が長いとき、こんな経験はありませんか。 「ビルドに時間がかかるなぁ」 (別の作業をする) 「もう終わったかな (ﾀｰﾐﾅﾙﾁﾗｰ」 「まだかー」 (以降無限ループ) 作業に集中できない！ 逆に 「このインストール時間かかるなぁ」 「終わるまでちょっと休憩しようかな (ｽﾔｧ」 〜3 時間後〜 「...あっ、いつの間にか終わってた！」 処理の完了に気付かずついつい休憩しすぎた！ ありませんか？ありますよね？ まあ休憩しすぎたっていうのはないにしても、実はエラーで処理が中断していたのに気付かなかった、というのはあるあるな気がします。

これはなに どうも、レバテック開発部のもりたです。 この記事は「レバテック開発部 Advent Calendar 2024」の 2 日目の記事です！ 昨日の記事は、seoink さんの「TS ユーザーが初見の Haskell を写経して型への認識をすこし改めた記録」でした。学びのワクワク感が詰まっててよかったぜ...！！ アドベントカレンダー2日目の本記事では、年末に（もりたが）読みたいな〜と思っている要件定義関連の書籍を23冊紹介します。要件定義の書籍ってイマイチ抽象的だったり、自分の知りたい情報とずれている気がして読むのが難しいですよね。もりたはず〜〜〜〜っとそうだったんですが、最近読み方が分かってきました。それが嬉しいので、要件定義関連書籍の読み方に悩める諸氏に向けて、要件定義の主要な論点を明示した上で書籍を紹介していきます。 扱う領域と扱わない領域 では具体的に、今回ご紹介する/紹

JPChainが開発・運営する音声合成AIプロジェクト「Aivis Project」で提供される「AivisSpeech」は、無料で誰でも簡単に使える音声合成ソフトウェアです。人間の声と区別できないほどに感情豊かで高音質＆高品質な音声を合成でき、個人・法人・商用を問わず、基本的にクレジット不要で自由に使うことができるとのことで、実際に使ってみました。 Aivis Project | AivisSpeech でかんたんに感情豊かな音声合成、使ってみませんか？ https://aivis-project.com/ Aivis Projectは、感情豊かな音声合成技術を"誰もが"気軽に使えるというミッションを持ってつくっています。 利用料を完全無料にしているのは、この素晴らしい技術を皆様に知っていただきたいからです。 機能拡充も爆速で行っていきます！ぜひ一度お試しを！— Hayato Omori

村松　一之 @gwYXhEqd7kjpwYu ある本にこんなことが書かれていた。戦争がありふれたものになったのはいつか？それは、人が風力を利用するようになってからだ。それまで水力を利用してた時代は河川に接している場所しか、余剰労働力や労働の専門化は起こらなかった。風力が農耕により余剰労働力を生み出せる地域を100倍に広げ、都市の乱立を可能にした。そして、戦争が当たり前になり、戦争では風車の破壊が重要な攻撃目標になった。 なるほど〜。 2024-09-08 07:43:30

p.97 「So What?」の繰り返しによるイシューの磨き込みより ①の「地球温暖化は間違い」といった焦点の定まらない主張だと反論しようがないが、⑤にまで磨き込まれていれば、白黒はっきりさせるために何をどう検証すればよいか、見えてくる。 「So what?」の他に、「空・雨・傘」といった技法が登場するため、気づく方もいるだろうが、これはマッキンゼー＆カンパニーのコンサルになる。ただし、本書が他のマッキン本と異なるのは、完全に血肉化されているところだろう。 本書は、「コンサルティングファームの報告書のリード文に最終的に何を書くか」を丁寧に解説したものだ。だがこれは、そのまま、「どの課題に取り組めば、成果が出たといえるか（そしてそれをどう伝えるか）」という現場の問題に応用できる。 与えられた問題に疑問をいだかず、唯々諾々と取り組んでいるうちに終業時刻となる。怖いのは、頑張って残業しても終わら

スライド概要 Japan Microsoft 365 コミュニティ カンファレンス 2024 - オンライン開催 で登壇した際の資料です。 https://japan-m365-community-conference-2024.connpass.com/event/332074/ この発表では、SharePointを用いた効率的なドキュメント管理の方法について詳しく解説します。具体的には、一元化されたリポジトリの重要性、バージョン管理の実践、適切なアクセス制御、定期的なバックアップとリカバリの必要性、メタデータとタグ付けの活用、文書の標準化、古いドキュメントのレビュー・アーカイブについて触れます。また、従来のフォルダ階層管理におけるデメリットと、それを克服するためのSharePointの機能利用についても説明します。