論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

まつもとゆきひろ氏がソフトウェア開発に役立つ2冊の書籍を紹介 『失敗の科学』と『APIデザインケーススタディ』から学べること #11 「失敗の科学」 オープニングトーク まつもとゆきひろ氏：まつもとゆきひろです。月曜日に放送して以来、ちょっと間が空いてしまいました。今日これを録音しているのは、（2022年）6月25日の土曜日なので、月曜日から土曜日まで録音できなかったということになります（笑）。 「Voicy」は、一発録りで流す仕組みで、編集をほとんどかけていないので、そういう意味で言うと、習慣化して毎日10分とか録れば、すぐに毎日できるようになると思うんですけれども、まだ習慣になっていないので、忙しいとこうやってつい後回しになって、じゃあ、次の日、とかなってしまいがちなのが現状です。 例えば、毎日「Wordle」をするとかですね（笑）、日記を書くとかですね、それから、「mruby」に1日

最近「ああ、これ前職でも前々職でもやったことあるなぁ」という仕事があった。データエンジニア(やその関連職種)として働き始めて約5年、3社でフルタイムとして働いてきて「このスキルは業界や組織規模が変わってもデータエンジニアとしてスキルを求められることが多いな」と感じたものをまとめてみることにした。棚卸し的な意味はあるが、特に転職用などではないです。 前提 どこでも必要とされたスキル データマネジメントに関する概要レベルの知識と実行力 セキュリティや法令に関する知識 事業ドメインに関する興味関心 他職種とのコミュニケーション能力 コスト管理 / コスト削減のスキル ソフトウェアエンジニアとしてのスキル DataOpsやアラートのハンドリング能力 分析用のSQLを書く力 古いテーブルやデータパイプラインを置き換えていくスキルや胆力 あるとやりやすいスキル 関連部署の動きを何となく把握しておく力

今回答えを出したい問いはこちら！！ インデックスはどのような仕組みを以て、何を実現したいものなのか それを踏まえたとき、インデックスはどういう場合になぜ貼る方が良いのか。また、どういう場合になぜ貼らない方が良いのか 大体分かっているよって人はサヨナラって感じのおさらい記事だぜ！！！！それじゃいってみよー🎉 あと、おれは今回MySQLにしぼっていくぜ👶 ってわけでOracleとかに興味があるやつは引き返しな！ indexの概要 公式の見解としては「where句を使ったselectクエリの実行速度を向上させるために実装されている、各行へのポインターのような振る舞いをする仕組み」って感じ👶 The best way to improve the performance of SELECT operations is to create indexes on one or more of t

Markdown形式でメモを作成できるサービスのObsidianが使用しているObsidian Canvasファイル形式を「JSON Canvas」ファイル形式としてオープンソース化することを発表しました。 JSON Canvas — An open file format for infinite canvas data. https://jsoncanvas.org/ Announcing JSON Canvas: an open file format for infinite canvas data - Obsidian https://obsidian.md/blog/json-canvas/ 仕様についてはjsoncanvas.orgに記載されています。サイトにアクセスするとこんな感じ。右下の「Toggle output」をクリックしてみます。 右側にJSON Canvas形式

はじめに 1年半ほどObsidianというノートアプリを使い、Qiitaにも記事を３つほど公開をしていました。 効率的に成長するためのデジタルノート術(Obsidian x Zettelkasten(LYT Framework)) コーディングのようにノートを取る技術 がんばらないObsidianノート術 確かにNotionやEvernoteとは違う感覚のノートアプリであり、双方向リンクを利用したグラフで繋げていくノートに当時は感動を覚えました。 その反面、Obsidianを百パーセント有効に活用できていたかと聞かれると「はい」と答えることは難しいと感じています。がんばらないObsidianノート術の記事はまさにその一角であり、Obsidianの拡張性と自由度に翻弄されてしまわないように書いた記事です。 1年半を通して紆余曲折した中、先日新しいツールとの出会いがあり、自分に合うツールを見つ

大好きな二曲のリミックスです。※2曲の構成が混ざったオリジナル音源を使用しています。歌／動画：KYShttps://twitter.com/KYSdane音源制作／Mix／コーラス：n.khttps://twitter.com/nantomo_komattahttps://www.nicovideo.jp/user/38366207

ユービーアイソフト話題の注目作。『スターウォーズ無法者たち』や『アサクリ』シリーズ、『レインボーシックス モバイル』など全8作を紹介

『パラノマサイト』にハマった伊集院光が開発者たちと座談会！「この作品はゲーム業界の希望だと思っています」（伊集院）。サイン入りポスターをプレゼント 2023年3月9日にスクウェア・エニックスより発売された心霊ホラー・アドベンチャー『パラノマサイト FILE23 本所七不思議』。 パッケージ版展開のないダウンロード専売ソフトながら、その完成度の高さとおもしろさが発売直後から話題を呼び、各所で高評価を得ている。 今回、発売1周年を祝して特別対談を実施！　週刊ファミ通の連載コラム“伊集院光接近中につきゲーム警報発令中”でおなじみでもあり、日本ゲーム大賞の授賞式の司会を毎年務めている芸人・伊集院光さんは、2023年の同アワードをきっかけに『パラノマサイト』を知り、本作をプレイ。以降、コラムでも何度も紹介するほどにハマっていた。 『パラノマサイト』開発陣と伊集院さんの特別対談が実現。伊集院さんならで

kaba40 @koba31okm 若い頃、友達の父親には「土日も仕事で家にいない」「無口でほとんど喋らない」みたいな人がよくいたのに、就職してみると50代のオッサンも普通に喋るし、休日に仕事してる人も少ないという謎があったんだが、自分や友人が中年になり謎が解けてきた。単に妻との関係が悪くて領土を失ってただけっぽい。 2024-04-26 19:47:51 kaba40 @koba31okm 俺の周囲にも出てきてんだよな。奥さんと仲悪すぎて休日も妻子と一緒に出かけられなくて仕事ってことで処理されてるし、奥さんと仲悪いから全く会話しないんだけどそれを子供に説明するわけにもいかないから無口キャラ設定にするしかなく、子供ともあんま喋れないみたいなやつ。 2024-04-26 20:26:17

「テクノロジー」「平等」「制作のジレンマ」が3つの軸 ──なぜAI歌声合成ソフトでEPを制作したんですか？ EPのリード曲「I CAN FEEL IT」が「REFLECTION」を作ってる段階で70パーぐらいまではできていたんです。オケだけですけどね。そこに自分のボーカルを乗せてみたけど「なんかこれじゃない」と感じたので、そのまま放置していて。そんなときにSynthesizer Vという歌声合成ソフトがリリースされたんです。これをそのまま使うといまいちハマらないけど、フラットな感じのボーカルが入った拡張ボイスのバンクを入れてみたらいい感じで。 ──Synthesizer Vが未完成だった「I CAN FEEL IT」にハマったと。 そう。このフラットなボーカルは熱い歌詞と相性がいいと思ったんですよ。ホットなものをホットなまま出すのは自分の感覚にそぐわないけど、Synthesizer Vは「

288回　『なぜ働いていると本が読めなくなるのか』と『花束みたいな恋をした』 三宅香帆氏によるベストセラー『なぜ働いていると本が読めなくなるのか』（集英社新書）は非常な労作であり、様々な資料にあたりながら、明治以降の社会における読書というものの位置付けの変化を追い、現代日本社会の労働が抱えている問題に言及する本だ。タイトルを見て「そんなの忙しくて疲れてるからに決まってるじゃないか」と考える人もいるだろうが、人はなぜ本が読めなくなるまでハードに働かなければいけないのかという問題について考えている本であって、そこは出発点である。 そして、ある意味で映画『花束みたいな恋をした』（2021年1月29日公開／監督：土井裕泰、脚本：坂元裕二、主演：菅田将暉・有村架純）の考察本でもある。けして、冗談ではない。菅田将暉演じる主人公・麦くんが就職したことで今まで親しんできた文学・音楽・ゲーム・映画などを楽し

こんにちは、unnameの代表取締役の宮脇啓輔です。 普段から重要だなと感じたことや、自分なりに思考したものを伝えようとXで投稿しているのですが、その中でも反響が大きかった投稿をさらに肉付けして発信しようという試みで記事化しております。 「頭の回転が速い」とは「累積思考量が多い」ことだと思います。「過去に似たようなテーマについて考えたことがある」から、すぐに自分の意見が出てくるし、回転が速く見える。考えたことがないと、その場で思考してしまい、遅く見える。そういうことだと思っています。… — 宮脇 啓輔 / 積極採用中 / unname (@keisuke_unname) March 21, 2024 この投稿がかなりいい反響をいただいたということもあり、投稿をベースに、もう少し肉付けして解説してみます。 「頭の回転が速い」の正体はなんなのか「頭の回転が速い」と見える人は、実際は「累積思考量

本を読んでて、気になるところがあったら、 その要点をテキストファイルに箇条書きにして、整理しながら読書する。 これだけ。 これだけで、読書の質が桁違いに上がります。 これをやると、「普通に本を読むだけだと、理解した気になってるだけで、実はろくに理解してなかった」と分かって驚きます。 話はこれで終わりですが、 以下の点が気になる方もいらっしゃるでしょう。 ●どんな人がどんな本を読む場合にもそうなるわけじゃないだろ。具体的に、どんな人がどんな本を読む場合にそうなるんだ？ ●そんなの面倒くさくてやってらんない。手間をかけずにやる方法はないの？ ●具体的にどうやるとうまくいくのか、もっとちゃんと説明しろ。 そういう方のために、以下、これらについて補足します。 まず、読書を以下の９種類に分類します。 (1)リアルタイム活用読書読んだ知識を今やっている仕事/生活/趣味にリアルタイムに活用しながら読む方

D-Plus Tokyo #1 https://d-plus.connpass.com/event/315744/

「食」への楽しみを捨てて生きる男性がいる。都内のIT企業で働く笠原元輝さん（35）。「準備、食べる、食べた後は集中できなくて眠くなる。それを3回も繰り返さなきゃいけないのが非常に効率悪いなと」。 【映像】「20秒で終わる」“完全食”のみの食事風景 食事を見せてもらうと、「完全食」。最近はスーパーやコンビニなどでも見かけるようになり、その市場規模は右肩上がり。笠原さんは1日2回、ドリンクタイプの完全食とプロテインを混ぜたものを摂取するのみ。これだけで1日に必要な栄養をとっているそうで、約20秒で食事が終了する。 『ABEMA Prime』は2019年にも取材し、「基本的にいくらでうんこを買っているかという話」「食事をして最終的に出てくるアウトプットは便」と、当時から独特の価値観を持っていたが、その生活は今年でなんと6年に。 「これだけ食べていれば健康」と思うかもしれないが、管理栄養士はデメリ

映画「カメラを止めるな！」などで知られる上田慎一郎監督が公開したショートフィルム「みらいの婚活」が、IT業界や医療福祉関係者の間で話題になっている。実業家の堀江貴文さんも「めちゃくちゃいい！」と絶賛する、その内容とは？

こんにちは、プロダクトマネージャー（PM）のいかりです。 今回の記事では、プロダクトに対しての社内からの不具合報告のフローを改善した話について紹介します。 「社内からプロダクト改善のために色々な声をもらっているけどどう対応しよう……」と困っているような方は何かの参考になるかもしれないので、ぜひ読んでみてください！ プロダクトを安心して使ってもらうための「不具合対応」 社内からの不具合報告の既存の課題 【改善】Slackのワークフローを使って不具合報告フォームを制作 結果、良くなったところ 社内の多くの人に不具合報告フローの存在を周知できた 数ヶ月で50件近くのバグ報告があり、1〜2割はその週に解決 連絡の往復回数が減った 後からのキャッチアップがしやすくなった まとめ プロダクトを安心して使ってもらうための「不具合対応」 プロダクトの成長のためには新しい機能の提供や操作性を良くしたり、とい

定期的に見かけるSAPを入れても碌なことがないみたいなやつ。現場の人や中間管理職の感想としては全く正しいが、本当にERPがゴミならば（主にグローバル大企業で）これだけ普及しているわけもないわけで、なにかしら使う側に問題があるのかもしれません。 マジレスするとSAPというかERPは給料の高い人の生産性を上げるもので、給料の安い人の使い勝手とか優先度低いし、末端にたくさんのデータの入力を要求するから。別になんの矛盾もない。 https://t.co/F2J5TdeWXw — (っ╹◡╹c) (@Heehoo_kun) March 21, 2024 私が新卒入社した会社でも当時のメインフレームをSAPに置き換えるみたいな話があって、コスト削減で大変な工場でそんなものは入れられないみたいな議論があったのは覚えています。その時のラインマネージャーの一人が、「ERPは給料が安い人を大量に使って給料が高

「財布の中」の話ばかりしてしまうことの問題点──私たち大人世代の間には、「お金の話は大っぴらに人前でするものではない」という意識が根付いているように感じます。そもそも、お金の話はなぜタブー視されがちなのでしょうか？ 田内学さん（以下、田内）：一説としては、江戸時代に幕府が士農工商の中で唯一大金を持つ商人を「身分の低い、卑しいもの」だとすることで他の民衆の不満を抑え、謀反を防いだことが背景にあると言われていますね。 そこから150年以上たった現在においても、「質素倹約こそ美徳である」という価値観はまだ根強く残っているのかもしれません。 ──一方で2022年からは高校の家庭科で「金融教育」が必修になるなど、今の子ども世代は比較的、早い段階から「お金とどのように向き合えばいいのか」を考える機会を持っていますよね。自分の子どもにどこまでお金の話をすればいいのか、悩んでいる親も多いのではないかと思い