そろそろ博士課程の振り返りをしようと思って、これを機にnoteを書いてみることにしました。最初の記事としては相応しいのではないかと思って。 おかげさまで2023年3月に博士号を頂くことができました。謝辞にも書いたのですが、本当に多くの方にお世話になってここまで来ることができました。お名前を上げだすとそれだけで本稿が埋まってしまうので畏れ多くも割愛させていただきますが、改めて感謝申し上げたいと思います。 さて、何年も社会人博士を名乗ってきたせいで「私も博士課程に興味があるのですが」と相談をいただくことがたびたびありました。そこで、本稿を自分の振り返りついでに、そういった方のご参考になるものとなるよう書いていきたいと思います。なお、極めて個人的な体験から来る内容ですので、経営学領域における一事例程度にお読みください。なるべく一般的に通じる部分にフォーカスしていきたいと思いますが、分野が違ったら

拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話

スイスのETH Zurich（スイス連邦工科大学チューリッヒ校）などに所属する研究者らが発表した論文「Single-site iron-anchored amyloid hydrogels as catalytic platforms for alcohol detoxification」は、食べるだけで血中アルコール濃度を大幅に低下させる、ゼリー状のハイドロゲルの開発について述べた研究報告である。 ▲血中アルコール濃度を低下させるハイドロゲルの外観 研究チームは、アルコール中毒の予防と治療に効果的な新しいアプローチとして、乳タンパク質由来のハイドロゲル「FeSA@AH」を開発した。ヨーグルトやチーズ製造時には、副産物としてホエータンパク質が発生する。このゲルは、ホエータンパク質のβ-ラクトグロブリンからつくられたナノファイバーと、鉄粒子により構成されている。 また、このゲルはアルコールを

iPhoneのタッチ決済により、事業者はiPhoneとパートナーの対応iOSアプリを使うだけで、非接触決済のクレジットカードやデビットカード、Apple Pay、その他のデジタルウォレットにシームレスかつ安全に対応できます。 東京 Appleは本日、ローカルビジネスが、対面での非接触決済にiPhoneだけで対応できる「iPhoneのタッチ決済」の提供を日本で開始しました。これからは中小規模の事業者から大型小売店まで、お持ちのiPhoneを使って、シームレスかつ安全に、非接触決済のクレジットカードやデビットカード1、Apple Pay、その他のデジタルウォレットに対応できるようになります。使用するのはiPhoneとパートナーの対応iOSアプリだけで、その他のハードウェアや決済端末は必要ありません。

米VMwareは5月13日（現地時間）、Windows用仮想化ソフト「VMware Workstation Pro」について、個人利用を無償化すると発表した。macOS用の「VMware Fusion Pro」も同様。商用の場合は引き続き有償のサブスクリプションが必要になる。 一方で、機能限定版の「Workstation Player」とそのmacOS版「Fusion Player」は商用の有償版含め提供を終了する。両製品を個人で利用しているユーザーに対しては、無償で「Pro」へのアップグレードを可能にする。 今回の無償化は、VMwareが米Broadcomに買収されたことに伴う製品ラインアップの変更という。VMwareはBroadcomによる買収以降、ライセンスの体系などを大きく変更しており、ユーザーや販売代理店の間で困惑が広がっている。 関連記事 さよならVMware　Broadcom

何度言っても分からないだろうけど。 でも書くよ。 親ガチャは存在しない。 まずさ、ガチャを引くのは親なんだよ。 つまり子ガチャ。 父親の精子と母親の卵子の組み合わせによって子供の能力が決まるから、これこそガチャだよね。 で、子供のことだけど。 たとえばその子供をAとしよう。 Aは、その父親の精子の一つと、母親の卵子の一つが組み合わさったから産まれた訳だよね？ それ以外の方法でAは産まれないよね？ 他の精子や卵子の組み合わせだと遺伝も違うし、Aは産まれないよね？ だから、Aはその両親から産まれるか、受精せずに産まれない（存在しない）かのどちらかなんだよね。 うーん、上手く伝わってない？ 子供は「絶対に」親を選べないんだよ。 親ガチャを言う人って、どこか「生まれ変わり」を信じてない？ 自分が生まれる前に、親を選べると思ってない？ 自分が生まれる前に親は選べないから！ そりゃそうだよね？ 生まれ

2024年4月、偽造されたマイナンバーカードを使用したSIMスワップ事案が発生しました。さらにその後のっとられたSIMを通じて高級腕時計の購入などが行われる被害も発生しています。ここでは関連する情報をまとめます。 SIMのっとられ未遂含め400万円超の被害 SIMスワップの被害を報告したのは、東京都議会議員と大阪府八尾市議会議員の二人。愛知県名古屋市内のソフトバンクショップ（八尾市議会議員の事例ではソフトバンク柴田店）で何者かが契約変更（MNPや最新のiPhoneへの機種変更など）を行い、元々の契約者であった二人が所有するスマートフォンでSIMによる通話・通信ができない被害にあった。 昨日昼頃、スマホにPayPay通知が表示され「1000円チャージしました」と。自動チャージ設定？なんだろうとアプリを確認してもよくわからず放置。（この時にPayPayに確認すべきだった！）午後にメールチェック

ミック @copinemickmack 米国人にタスク見積もりさせるとメールの確認みたいな日本人なら入れない細かいタスクをビッチリ入れてくるので、それはいちいち計上しなくていいのでは？ と指摘したら「情報共有のコストがタダだと思うな」という返事だった。日本人すぐ色んな人に共有メールとか送りたがるんで、教訓的だなと思った 2024-05-12 07:47:12 ミック @copinemickmack DBエンジニア改めアソシエイト・シリコンバレー出羽守。note.com/mickmack 著書：『SQL実践入門』『DB設計徹底指南書』『SQL徹底指南書』。訳書：J.セルコ『プログラマのためのSQL 第4版』。 mickindex.sakura.ne.jp

未経験からエンジニアになり3年が経ちました。 この3年間はベテランエンジニアとの差を埋めるべく、プライベートの時間の大半を学習に充ててきました。幸い少しずつ成長を感じられ、業務では難易度の高い仕事を任せてもらえるようになったと感じます。このキャッチアップのために100冊以上の技術関連書籍を読んだことでしょう。 ここ最近、知人やTwitter経由で知り合った方から、私が学習に使った書籍について質問を頂くことが多いです。そこで、今後参照していただきやすいように、これまで私が読んで良かった書籍を1つの記事にまとめようと思います。 前提：エンジニアとして経験した技術 書籍について 全エンジニア向け Web / インターネット イラスト図解式 この一冊で全部わかるWeb技術の基本 (★) HTMLコーダー＆ウェブ担当者のための Webページ高速化超入門 (★) Webを支える技術 -HTTP、URI

旧帝大工学部機械系B4女子。 東工大やら京大、軒並み女子枠の設置が相次いでいる。Twitterではもっぱら「バカな女に下駄をはかせるな」と盛り上がってるが、自分は別の視点から女子枠に大反対。女子枠なんてクソくらえ。 争点は大学入試ではなくその後のキャリア。いわゆるメーカーにいくか、どうするか、大変なやんでいる。 プロフィール 自分：地方公立進学校→旧帝工学部機械系B4。INTJ。つきあって3年の彼氏がいる。（ここではとりあえずこの人と結婚する前提で話がすすんでます） (1)メーカー就職する場合 弊専攻機械には大量の推薦もあり、多くの人が推薦を使ってトヨタやダイキンやパナに就職。けど、女子でメーカー技術職？それが幸せとは到底思えない。 子供をもうけるとなった場合、産休育休は必須。妊娠したら、大切なプロジェクトや重要なポジションには就かせてもらえないだろうね、男は産休取らないから、そっちに任せ

私も旧帝工学部の修士卒です。正社員として現在まで10年以上働いています (IT系職種です)。中小企業にもメーカーにも在籍経験がありますし、結婚も出産もしています。配偶者もフルタイムで働いています。偉そうにみえたら大変申し訳ありませんが、あなたの書いた内容に、個人的には違和感のある点がいくつかあり、コメントさせてください。 まず、産休は必須ですが育休は必須ではありません。法律上、出産直前まで働くことができ、産後8週 (医師が許可すれば6週) で復帰できます。出産予定日の3週前から休みに入り、産後6週で復帰すればブランクは9週間で済みます。出産が遅れるなどあっても3ヶ月以内で復帰できると思います。私もブランク10週間で復帰し、その後は保育園に入園できるまで保育サービスに頼りました。もしかするともっと子どもと過ごしてから復帰したいとお考えかもしれませんが、産後すぐ復帰しても勤務時間外は否応なく子

ビジネスシーンや日常において、今や当たり前の存在になった人工知能（AI）ですが、思わぬ影響が可視化され始めているようです。「Windows95の父」として知られる日本人エンジニア・中島聡さんのメルマガ『週刊 Life is beautiful』では、著者の中島さんが、OpenAIの開発した「ChatGPT」が発表されて以来、世界中の研究論文において「ある変化」が起きていると指摘した海外の記事を紹介しています。どうも論文の中に使われている「単語」に影響が出ているようです。 ※本記事のタイトル・見出しはMAG2NEWS編集部によるものです／原題：人工知能が人間の言葉に変化をもたらし始めた話 プロフィール：中島聡（なかじま・さとし） ブロガー／起業家／ソフトウェア・エンジニア、工学修士（早稲田大学）／MBA（ワシントン大学）。NTT通信研究所／マイクロソフト日本法人／マイクロソフト本社勤務後、ソ

「革命」を促すエヌビディア 「1920年代には、水がジェネレーターに入り、直流電力が作られていました。いまは電子がジェネレーターに入ると、知性が出てきます」 エヌビディアの最高経営責任者（CEO）であるジェンスン・フアンはそう語る。シリコンバレーの本社を訪れた筆者の目の前には、AIを支えるエンジンとなる「エヌビディア DGX H100」が置かれていた。 この箱型機器には非常に高速のプロセッサや、他の最先端コンポーネントが詰まっている。50万ドル（約7784万円）もするが、新しいAI体験を実現するために大企業やスタートアップ、大学などで使用されるスーパーコンピュータの基礎的な構成要素となっている。 エヌビディアのハードウェアによって動くAIは、かつての電気がそうしたように人々の日常生活を大きく変える。しかし、現在のエヌビディアの影響力はどちらかといえば、充分理解されていない。AI半導体の市場

OKRと「測りすぎ」 〜なりたい姿を、「測りすぎ」ないようにしながらどう追いかけるか〜/OKR and the tyranny of metrics

OKRと「測りすぎ」 〜なりたい姿を、「測りすぎ」ないようにしながらどう追いかけるか〜/OKR and the tyranny of metrics

生成AI（人工知能）を含む最新のAI研究動向を知るため、世界中の研究者やエンジニアが参照しているのが、論文速報サイト「arXiv（アーカイブ）」である。米OpenAI（オープンAI）や米Google（グーグル）などAI開発を主導するIT企業の多くが、研究成果をarXivに競って投稿している。 そんなarXivの投稿論文から、2024年4月（1日～30日）にSNSのX（旧Twitter）で多く言及されたAI分野の注目論文を紹介する。調査には米Meltwater（メルトウォーター）のSNS分析ツールを利用した。対象はXの全世界のオリジナル投稿、コメント、再投稿、引用投稿である。調査は、日経BPが2024年1月に新設したAI・データラボの活動の一環として実施した。 「GPT2」に再び脚光？スケーリング則の論文 最初に取り上げるのが、大規模言語モデル（LLM）のスケーリング則に関する論文「Phys

【はじめに】・自己紹介こんにちは。 今年の1月にワシオ株式会社（以下ワシオ）の代表取締役社長に就任しました、三代目の鷲尾 岳（ワシオ タカシ）と申します。 鷲尾家の次男坊として1991年2月10日に生まれ、小学校5年生までは地元の公立、小６から私立の学校に転校し、中３までは福井県、高校は和歌山県にある姉妹校にて寮生活をしていました。 ここで詳しくは書きませんが、その学校の特徴として、「義務教育は最低限」「校則は生徒が主になって話し合って決める」「1年を通して大半のコマを占める”プロジェクト”という授業で目標を決め、達成に向けて何をするか生徒が決める」「やりたいことは大概やらせてもらえる」などなど、おそらくかなり一般的な学校からかけ離れた環境で多感な時期を過ごしました。 高校を卒業した後、大学で中国語を学んだので、卒業してからは父の伝手を頼って入社後すぐに中国で駐在させてくれる会社さんにご縁

おはようございます!こんにちは!場合によってはこんばんわ! SREチームマネージャーの藤原です。 今年の3月からSREチームの中で、勉強会を定期的に実施するようになりました。 本エントリでは勉強会を開催するにあたって考えたことと、実際の進め方についての事例解説です。 勉強会を通じて実現したいことの説明から、テーマ設定、効果最大化のための開催形態と頻度、現時点(2024/4・5時点)の結果について解説しています。 勉強会を通じて実現したいこと チーム内勉強会を通じて実現したいこととして、以下を設定していました。 チーム・個人としてのレベルアップ 積極的な議論への参加 相互理解 チームとしての目線合わせ 勉強会を開催するからには何かしらのスキルや考え方を身に付けたいはずです。 また、学習効果を最大化するためにも、積極的な議論への参加を実現したいと考えました。 さらには、勉強会の中での議論を通じ