論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
かわいいWebサイトが作りたい Web上でグラフィックデザインっぽい表現をしてるサイト大好き! 思いついたら追加する 「版ズレ」風 版ズレ = 印刷の際に、色の版がズレて出力されてしまう現象。(アナログっぽい雰囲気を出すために、あえてズレているように見せるデザイン手法として使ってます) 一番上のレイヤーに紙っぽいテクスチャを乗せて乗算かける 後ろのテキストはaria-hidden="true"でスクリーンリーダーに読み上げられないようにする (疑似要素でやりたかったけど乗算上手くいかなかった・・) ▼ HTML <div class="hanzure"> <img src="紙っぽいテクスチャ" alt=""> <div class="hanzure01"> <p class="front">版ズレ風の表現</p> <p class="back" aria-hidden="true">版ズ
ウィトゲンシュタインの本のなかで、これが最も分かりやすい&面白い(当社比)。 数学という存在を、人の知性の産物である「発明」と捉える人がいる。いっぽうで、人が見出した世界の本質である「発見」と見なす人がいる。この議論は、[『神は数学者か』はスゴ本]にて語ったが、いずれの場合にせよ、数学の限界が(仮に)あるとしたならば、それは人の理性の限界であることは了解していただけるだろう。なぜなら、「発明」であれ「発見」であれ、主語が人である限り、その限界も人に属するからである。 ウィトゲンシュタインの講義は、数学の限界を見極める一方で、数学の底(もともとの了解事項)を明らかにしてくれる。 数学の底? そんなのユークリッド幾何学やヒルベルトの基礎付けを見るまでもなく、「定義」と「形式」でしょうに(あるいはそこから定義づけられる公理系といってもいい)。本書を手にするまでは、そう考えていた。だが、「発明」で
因果推論: 基礎から機械学習・時系列解析・因果探索を用いた意思決定のアプローチ 作者:金本 拓オーム社Amazon 著者の金本さんからご指名でご恵贈いただいたのが、こちらの『因果推論 ―基礎から機械学習・時系列解析・因果探索を用いた意思決定のアプローチ―』です。正直に白状しますと、因果推論とタイトルにつく技術書はここ数年でゴマンと出版されており、本書も紙冊子で頂戴したものの僕はあまり期待せずにページをめくり始めたのでした(ごめんなさい)。 ところが、ほんの数ページめくっただけでその内容に僕は仰天しました。グラフィカルで実務家にとっての分かりやすさを重視した因果推論の解説と実践にとどまらず、現代的なマーケティング分析では必須の種々の手法についてまで懇切丁寧に解説とPythonによる実践例が付された本書は、文字通り「マーケティング分析実務家にとってのバイブル」になり得る素晴らしい一冊だと直感し
本イベントでは、人事・労務担当者がおさえておくべき2024年の法改正の概要とその裏側を読み解いていきました。カゴメ株式会社 常務執行役員/カゴメアクシス株式会社 代表取締役社長 兼 経営管理部長の有沢正人氏とKKM法律事務所代表の倉重公太朗氏が登壇し、法改正の裏側や今後の人事課題について議論が交わされました。本記事では、カゴメで実施されているジョブ型雇用についてお話しされた内容をお届けします。 カゴメ・有沢正人氏が語る、雇用や働き方の変化 倉重公太朗氏(以下、倉重):ではここからは対談コーナーということで、カゴメの有沢さんに来ていただいております。(有沢さんは)大人気ですけど。 有沢正人氏(以下、有沢):いやいや。 倉重:自己紹介をお願いしてもいいでしょうか。 有沢:よろしくお願いします。私は今のカゴメが4社目で、もともとは銀行員でした。銀行では公的資金をいただき国有化されまして、みなさん
さまざまな数学的トピックをムービー形式で解説するサイト「3Blue1Brown」において、ChatGPTに代表されるAIを形作っている「Transformer」構造の心臓部「Attention(アテンション)」についての解説が行われています。 3Blue1Brown - Visualizing Attention, a Transformer's Heart | Chapter 6, Deep Learning https://www.3blue1brown.com/lessons/attention AIの中身と言える大規模言語モデルのベースとなる仕事は「文章を読んで次に続く単語を予測する」というものです。 文章は「トークン」という単位に分解され、大規模言語モデルではこのトークン単位で処理を行います。実際には単語ごとに1トークンという訳ではありませんが、3Blue1Brownは単純化して
生成AI以前と以後で、会社のあり方は決定的に変化していくのだと思う。 たとえば、昨日はとある会議で、「この(AI)サービスの原価はいくらか」という議論が沸き起こった。 AIサービスなのだから、AIの利用料くらいしかかからないかというとそうでもない。実際、AIを動かすためにはAIそのものにかかるお金以外の人件費がかかる。誰かに売る人の人件費や、システム開発のための人件費や、サポートのための人件費だ。ただ、AIサービスの場合、人件費を極限まで最小化することができる、という点が決定的に違う。 また「AIの利用料」も、「APIの利用料」なのか、ベアメタルサーバーの月額利用料なのか、それとも自社に持っているGPUマシンの電気代なのか、という議論のポイントがある。 あまり多くの人は語らないことだが、実は起業には再現性がある。 つまり、一度でも事業をうまく立ち上げたことがある経験を持つ人は、次も事業をう
人は無能に到達するまで昇進するという「ピーターの法則」というのがある。 「階層型の組織においては、どんな人も、昇進を繰り返すことでいずれは能力の限界に達し、十分に職責を果たせなくなって無能化する。その結果、「あらゆるポストは、職責を果たせない無能な人間によって占められる」という。 https://mba.globis.ac.jp/about_mba/glossary/detail-20919.html グロービスとくにリーダーが劇的な環境変化に異動、転職、抜擢で放り込まれるとこの法則が強烈に作用する。なぜなら周りの方が知識や経験があり自分がその組織内で最もそれがない人になってしまうからだ。一方で、この人は何かしてくれるのでは?という期待を関係者からは持たれる。「組織内で最も無能なのに最も期待される」という特殊状態を過ごすことになる。 12年ほど前に突然、社長をというキャリアチェンジを経験を
RailsのActive Recordは、意味のあるデータを確実に得られるようにするためのバリデーション機能をActive Modelライブラリ経由で提供しています。 ユーザーにメールを送信可能であることを確認する処理は、アプリケーションを正しく設定するうえで非常に重要なので、既に皆さんもUser#email属性でバリデーションを行っていることでしょう。 🔗 以下の方法ではなく 手作り正規表現や、Railsの古いAPIドキュメントにあるものを使う。 class User < ApplicationRecord validates :email, format: { with: /\A([^@\s]+)@((?:[-a-z0-9]+\.)+[a-z]{2,})\z/i }, presence: true, uniqueness: { case_insensitive: true } end
生命の誕生について興味を持って調べたことがある人なら、この宇宙で自然に生命が発生する確率は天文学的といえるほど小さく、さまざまな物理学的条件がわずかでも異なっていれば生命は誕生しなかったという話を見聞きしたことがあるかもしれません。イギリスのダラム大学で哲学の准教授を務めるフィリップ・ゴフ氏は、生命誕生をただの「奇跡」として片付けるのではなく、「宇宙には意識が存在し、その意識が生命の誕生にちょうどいい条件を整えた」とする説を真剣に主張しています。 Mind-blowing theory on God could spark new 21st-century religion | The Herald https://www.heraldscotland.com/business_hq/24222253.mind-blowing-theory-god-may-spark-radical-ne
「実家放置」の大きすぎる賠償リスク!4月から変わる相続登記のルール、注意すべきポイント2024年4月1日に改正不動産登記法が施行され、相続登記が義務化されます。土地問題に詳しい荒井達也弁護士は「相続登記義務化をきっかけに、空き家などの不動産を放置したままにするリスクについて改めて考えてほしい」と話します。 なぜ相続登記が義務化されるの? ——4月から相続登記の義務化が始まります。なぜ、義務化がされることになったのでしょうか? なぜ相続登記の義務化が始まったかというと、登記簿を見ても誰が所有者なのか分からない「所有者不明土地」の問題が全国で増えているためです。 所有者が亡くなっても相続登記がされないまま放置される土地が多く、公共事業の際に用地取得ができなかったり、荒廃し周辺に悪影響を及ぼしたりする問題が全国各地で問題となっていました。 所有者が分からない最たる原因が、相続登記がなされていない
Marianne Guenot [原文] (翻訳:Ito Yasuko、編集:井上俊彦) Mar. 24, 2024, 03:00 PM サイエンス 138,621 地球から3000光年のところにある「新星」が、地球から見えるようになる。 かんむり座T星が今後数カ月以内に、最大1週間にわたって北極星よりも強く光るはずだ。 多くの人にとって一生に一度となるであろうこの事象を見るには、いくつかの準備が必要だ。 まもなくある星が爆発し、北極星よりも明るく光って豪華なショーを見せてくれそうだ。 この星は、地球から3000光年のところにあり、数カ月のうちに大爆発して「新星」になると予想されている。 NASAのコメントによると、一生に一度のこの天体ショーで見られる星は肉眼で見ることができるほど大きくなる可能性があるという。最大で1週間、見ることができる。
はじめに DDDの実装パターンとして、エンティティと値オブジェクトというものがあります。 ドメイン駆動一般に複雑な抽象論が多い中で、コードに近く一番イメージがつきやすいコード事例として出てくるため、ここだけは何となくわかるぞ!という方もいらっしゃるのではないでしょうか。 今日はこちらの概要とそれぞれの使い道について書きたいと思います。 先にざっくりイメージ図をお伝えすると、こういう図を使って解説します。 何の目的で作るのか? ドメイン駆動設計は何を解決しようとしているのか こちらの記事で、ドメイン駆動設計のアプローチは以下の2ステップがあるということを書きました。 ドメインの問題を解決するための抽象的なモデルを作る. モデルをソフトウェア(コード)に落とし込む ※ ドメイン=ソフトウェアを適用して問題解決しようとする領域 DDDでは、このStep2の モデルをコードで表現するためのパターン
ホーム ニュース プレスリリース 謙虚なリーダーのもとで心理的安全性が高まりメンバーが本領発揮しやすくなる―職場においてリーダーの謙虚さと心理的安全性が果たす役割― 東京大学 発表のポイント 日本の企業において、リーダーの謙虚さが心理的安全性を介してプレゼンティーズムに影響することがわかりました。 チーム単位で働く職場において、リーダーの謙虚さ、心理的安全性、そしてプレゼンティーズムの3変数がどのように関係しているか初めて明らかにしました。 メンバーが活躍できる職場の人的環境や文化的条件を考え、介入をデザインする上で示唆に富む結果といえます。 謙虚なリーダーシップは、心理的安全性を介してプレゼンティーズムと関連する 発表概要 東京大学先端科学技術研究センターの松尾朗子特任助教、熊谷晋一郎准教授らの研究グループは、複数の業種の日本企業を対象に調査を実施し、リーダーの謙虚さが高まると心理的安全
「H」の次が「I」なのは自然なことでした。 米国のテキサス大学オースティン校(UT)で行われた研究によって、オーガズムの回数が増えれば増えるほど、カップルたちの脳が作り変えられる「再配線」現象が進む可能性が示されました。 研究では人間と同じ一夫一妻制をとるプレーリーハタネズミの脳全体の3Dマッピングが行われており、交尾回数を重ねて脳の再配線が進んだとされたカップルたちでは、脳活動の驚くべき同調性がみられるようになっていました。 研究者たちはプレスリリースにて「同じような仕組みが人間にも存在しており、オーガズムが絆形成を促進している可能性がある」と述べています。 また興味深いことに、絆が結ばれている同性ペア(兄弟など)と異性カップル(オス/メス)では、同じ脳領域が活性化していることも示されました。 単なる快楽の極と思われていたオーガズムが、いったいどんな仕組みで脳の再配線を行っているのでしょ
はじめに 34 歳のとき、勤めていた会社の経営が傾き早期退職を促されたのを契機に独立しました。その後、41 歳で Authleteオースリート 社を設立しました。諸般の事情で現在も Authlete 社の代表取締役という肩書きを持っていますが、経営者的な仕事は他の人に任せ (参照: シリコンバレーのプロフェッショナル CEO を迎えて米国市場に挑戦する日本のスタートアップの話)、50 歳目前の現在もプログラマとしてコードを書き続けています。 Authlete 社設立 (2015 年 9 月) から 8 年半弱経過したものの、まだまだ小さな会社で道半ばであるため、起業家として何か語るのは時期尚早ではあるものの、軽い体調不良が長引く中、『自分のエンジニアとしてキャリアを振り返ろう!』という記事投稿キャンペーンを見かけ、生きているうちに子供世代のエンジニアの方々に何か書き残しておこうと思い、文章
絶対見られたくない情報をロック。iPhoneに追加セキュリティを加えよう2024.03.01 15:009,036 David Nield・Gizmodo US [原文] ( mayumine ) スマホのセキュリティ、大事にしてますか。 銀行口座のアプリから、親密なメッセージのやりとりまで、超重要なものがこの小さなスマホにすべて入っている今、ロック画面さえ設定は言わずもがな重要です。でも、それだけで本当に十分でしょうか? 例えば、特定のアプリに追加のセキュリティを加えることで、ロック画面を突破したスマホ泥棒、スマホを借りてゲームをする親戚の子どもたちから、絶対見られたくないデータを守ることができます。 もう一段階のセキュリティバリアを貼っておくことで、心の平穏をもたらすことができるかも。 そんなわけで、今回はiPhoneの追加セキュリティの設定の方法をご紹介します。 追加のセキュリティア
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く