型レベルプログラミングとは？（紹介記事）
型レベルプログラミングの入門記事を書いたので社内で共有したところ、「型レベルプログラミングって何ですか？」という質問をいただきました。 「型とは何か」「TypeScriptの型システムがすごい」ということを伝えたのですが、「型レベルプログラミングとは？」を自分で整理しておきたいと思ったので今回の記事を書くことにしました。 型レベルプログラミングが初耳の方は、おおよそ次のことが気になるのかなと想像します。 何なの？ 学ぶメリットは？ どうやって学ぶの？ 私はJava, Swiftなども経験していますが、前提はTypeScriptとしてそれぞれ考えを書いていきます。 何なの？ 以下のように定義を考えました。 型レベルプログラミングは、型を対象としたプログラミングです。型はさまざまなデータの構造や性質、あるいは関数やクラスを表現することが出来ます。目的の型をどうすれば作れるのかを考えてコードで表
イーロン・マスクが「AppleがChatGPTを統合するなら我が社ではAppleデバイスを使用禁止にしてゲストからも没収する」と発言しコラ画像も作成してリスクをアピール
Appleは、2024年6月11日(火)に開催したWWDC24の基調講演でiOSやmacOSなどのApple製OSにChatGPTを統合することを発表しました。これを受けて、イーロン・マスク氏が「AppleがOSレベルでOpenAIを統合するならば、私の会社ではApple製デバイスを使用禁止する」と表明しました。 If Apple integrates OpenAI at the OS level, then Apple devices will be banned at my companies. That is an unacceptable security violation.— Elon Musk (@elonmusk) June 10, 2024 AppleはWWDC2024の基調講演で、「iOS 18」「iPadOS 18」「macOS Sequoia」にChatGPTを統合
開成東大卒の「天才AIエンジニア」が都知事選出馬…オードリー・タンに背中を押されて決めた「圧倒的危機感」と、ヤバすぎるリアル（現代ビジネス編集部） @gendai_biz
開成東大卒の「天才AIエンジニア」が都知事選出馬…オードリー・タンに背中を押されて決めた「圧倒的危機感」と、ヤバすぎるリアル 東大卒AIエンジニア・起業家・SF作家。 そんな異色の経歴を持つ東京都知事選候補が、出馬の表明と同時に知識人からの注目を集めている。 安野貴博氏、33歳。 「テクノロジーで誰も取り残さない東京へのアップデート」などユニークな政策を掲げる彼は、一体どんな人物なのだろうか。 取材を通じて、驚くべき経歴と出馬にかける思いが明らかになってきた。 9歳の頃、独学でプログラミングを学ぶ まずは「天才AIエンジニア」と呼ばれるに至る経歴から見てみよう。 安野氏は9歳の頃、独学でプログラミングを始め、17歳にして初めてのWebサービスをリリース。未来予測の確率論「マルコフ連鎖」をベースに開発されたもので、すでに“超高校級”のエンジニアだったことがうかがい知れる。 開成高校を卒業後は
macOS Sequoiaは、Macの生産性とインテリジェンスを新たな高みへと引き上げます
カリフォルニア州クパティーノ Appleは本日、世界で最も先進的なデスクトップオペレーティングシステムの次期バージョンであり、Macにまったく新しい作業方法と革新的なインテリジェンス機能をもたらす、macOS Sequoiaをプレビューしました。macOS Sequoiaは、macOSから直接iPhoneに完全にアクセスしコントロールできるようにすることで連係を拡張するiPhoneミラーリングなど、素晴らしい新機能を満載しています。Safariはさらに大幅にアップデートし、インターネット閲覧中にウェブページ上で簡単に情報を見つけるための新しいハイライト機能が加わります。新しいパスワードアプリは、より簡単にパスワードにアクセスし、すべての認証情報を一か所にまとめることができるようになります。ゲームは、一段と没入感あふれる体験と、「アサシン クリード シャドウズ」「Frostpunk 2」など
エスカレーターの右側に乗ったらおっさんに背中押された - にげにげ日記
日本人はルールやマナーを大事にするとか言うひとがいるけれど、それは嘘だと思う。わたしが知ってる日本人の大半は、「みんな」や「社会」のせいにしながら非合理な慣例をいつまでも保守し、出た杭に対しては有形無形の不寛容の圧をかけ続け、排除する。 最近は、駅のエスカレーター周辺で「2列になって、歩かず、立ち止まって」という音声アナウンスが流れていたり、ポスターが掲示されていたりする。しかし、少なくとも東京では、依然としてエスカレーターの左側だけに長蛇の列ができ、その右側を急いでいるひとが駆け上ったり駆け下りたりしている状態。 平日の昼間など利用者が少ない時間帯だったらそれで特に問題ないのかもしれないが、休日やラッシュ時は混雑するので「2列で乗ったほうが効率が良いし、何よりリスクが少ないだろうに」と思うことがたびたびある。 そのようなときに、わたしはあえて右側に乗ってみることにした。慣例をすぐに変える
ニコニコ、システム全体を再構築へ サイバー攻撃の影響で 復旧の見込みは「今週中に告知」
ドワンゴは6月10日、8日から続く大規模障害を巡り、今後の方針を発表した。10日午後6時時点で「サイバー攻撃の影響を受けずにニコニコのシステム全体を再構築するための対応を進めている」という。復旧予定やサイバー攻撃の詳細については「今週中に、役員の栗田穣崇およびCTO鈴木圭一が、復旧までの見込みおよびその時点までの調査で分かった情報を説明する予定」としている。 会員費の払い戻しなど、個々のサービスへの質問については「影響の調査を行っている段階のため」として回答を控えたが「誠実に対応させていただきますので続報をお待ちください」とした。 今回の攻撃を巡っては、ニコニコ以外にもKADOKAWAが提供する複数のサービスがダウンしており、KADOKAWAの公式サイトも表示できない状態が続いている。 関連記事 「#がんばれニコニコ」拡散 サイバー攻撃でダウン中、ユーザーが復旧を応援 「ニコニコ」でサイバ
マスク氏、アップル製品を禁止へ－オープンＡＩをＯＳに組み入れなら
資産家イーロン・マスク氏は、アップルが基本ソフト（ＯＳ）レベルでオープンＡＩの人工知能（ＡＩ）ソフトウエアを組み入れれば、同社製機器を自社から締め出すと述べた。 マスク氏の発言は、アップルが10日に行ったプレゼンテーションで、デジタルアシスタント「Siri」を通じ、ユーザーがオープンＡＩのチャットボット「ChatGPT」にアクセスできるようになると発表したことを受けたものだ。アップルはこの機能を年内に新しいＡＩ機能の一部として展開する予定。 マスク氏はオープンＡＩの共同設立者だが、同社とは対立していた。 マスク氏はＸ（旧ツイッター）への投稿で、「アップルがＯＳレベルでオープンＡＩを組み入れれば、アップル製品は私の会社で使用禁止になるだろう。容認できないセキュリティー違反だ」とコメントした。 If Apple integrates OpenAI at the OS level, then A
そもそも少子化を食い止める必要はない
理由１：社会の機械化により人間の労働力は不要になってきているそんなことはないと思っている人に聞きたいのですが、ではなぜ実質賃金が下がっているのでしょうか？ 実質賃金というのは言うなれば「資本主義的な支配者層が考える労働者一人辺りの価値」となります。 それが下がってきているということは、人間の価値が下がってきているということです。 少なくとも、特別な技能を持っていない人間、特別でなくともその業界で重要視されるだけの経験を持っていない人間の価値は下がっています。 資本主義における価値とは需要と供給で決まるわけですから、人間の需要に対して供給が上回っているわけです。 多くの企業が人手不足を語ってはいますが、実態としては「十二分なスキルを持った人間が突然低賃金で雇われて欲しい」という意味でしかなく、能力のない新卒を雇う意思はほとんどありません。 理由２：日本よりも経済成長している中国等が少子化を進
アップル、待望のＡＩシステム発表へ－ＷＷＤＣでの注目点
Apple’s Tim Cook and Craig Federighi at last year’s WWDC. Photographer: Philip Pacheco/Bloomberg 米アップルは通常、新しい製品カテゴリーに最初から飛びつくことはしない。スマートフォンの「iPhone」、腕時計型端末「Apple Watch」、複合現実（ＭＲ）ヘッドセット「Vision Pro」もそうだった。すでに立ち上がっていた分野に製品を投入し、自らの足跡を残す方法を見つけてきた。 人工知能（ＡＩ）分野でもそれをしようとしているようだ。生成ＡＩの熱狂が始まってから２年近くが過ぎた今、この技術に関するビジョンを打ち出す準備を進めている。米太平洋時間10日午前10時（日本時間11日午前２時）に開幕する世界開発者会議（ＷＷＤＣ）で同社は、主要なアプリや機能にＡＩを深く統合する計画を発表するとみられて
金持ちイジメに見えて金持ちに有利になる世論誘導｜shinshinohara
もう二十年ほど前から「東大に進学するのは裕福な家庭」という報道が繰り返されている。そしてそのことを知っている人は非常に多く、今や常識。そのためか、街角インタビューでも「どうせ東大生は金持ち出身なんでしょ、だったら学費上げても構わないでしょ」という意見が。 これは恐らく「金持ちからはふんだくったらいい、ざまあみろ」という報復感情も多少手伝っているのだろう。 しかし実態は逆になる。金持ちには150万円の学費なんか痛くもかゆくもない。しかし貧困家庭ではとても支払えない金額。単に貧困家庭を大学という学歴から締め出す効果しか起きない。 これと似たことが政治でも。日本では「政治家はカネに汚い」というイメージがある。どうせ権力を利用してお金儲けしてるのだし、元々金持ちだろうから、政治家は無給にしてタダ働きさせればいい、という意見がしばしば出る。これを、金持ち政治家に一矢報いるアイディアくらいに思う人が少
ニコニコ、メンテ開始から9時間経過も復活せず イベント生配信などに影響も
ドワンゴが運営する動画配信サービス「ニコニコ」で6月8日早朝に不具合が発生し、緊急メンテナンスに入ったが、午後3時を過ぎても復旧していない。イベントの生中継を実施できないなどの影響が出ている。 ニコニコによると、8日の午前3時23分ごろからニコニコサービス全体で「正常に利用できない場合がある」不具合が発生した。原因は調査中という。 ニコニコは午前6時から緊急メンテナンスに入ったが、9時間が経過した午後3時でも復旧のアナウンスはない。トップページは「メンテナンス中」のままで、Xでは「ニコニコメンテ」がトレンド入りしている。 なお、8日は米国で開催されたゲーム関連イベント「Summer Game Fest 2024」の同時通訳付き配信なども予定していた。 関連記事 ボカコレ運営、投稿者による交換条件としての相互「いいね」に注意喚起 「本来の主旨とは外れたもの」 ボカロ文化の祭典「The VOC
ChatGPTとはてブの人気コメどちらが信用できるか？調べてみた - ふろむだ＠分裂勘違い君劇場
「ChatGPTの回答」と「はてなブックマークの人気コメント」が異なることがある。 たとえば、以下のコメントがはてブの人気コメントになっていたが、ChatGPTに聞くと否定される。 特別寄稿 インドに抜かれ「GDP5位」なぜ、日本は凋落一途か／中野剛志・評論家 消費税の額面上の「税率」を比較することに意味はない。ドイツより税率が高いスウェーデンでも「総税収に対する消費税収の割合」は18.5％に過ぎない一方で、日本は37％に達しており、諸外国よりも高い。 2024/06/07 11:47 b.hatena.ne.jp これについて、僕はChatGPTに以下のように聞いてみた。 「スウェーデンでも「総税収に対する消費税収の割合」は18.5％に過ぎない一方で、日本は37％に達しており、諸外国よりも高い。」という発言がネットにかかれていたのですが、これは信用できますか？ ChatGPTの回答は以下
気が散るのを回避する
当方、家事が苦手な増田。なぜ家事が苦手か考えた時、一番の理由は気が散ることだった。例えば領収書の整理をしている時、ふと家具を捨てたいと考えて大型ゴミの捨て方を調べ始め、そこから色々と計画を立て始め…となって領収書がおざなりになる。こういうことばっかりなので何一つ作業が終わらない。お察しの通り、仕事もあまり上手くいっていなかった。 これを回避するため、1テーマ制というのを導入した。単純に「この時間はこれしかしない」と決めて取り組むことなのだけど、最中に気が散らないように事前の準備時間を多めに取る。 まず、やるべきだと思っている作業をノートに書き出す。次に優先順位で一番上に来る作業を一つ決める。そしてその作業の手順を書き出す、マニュアルを作るようなイメージだ。それができたら作業に取り掛かり、マニュアルにないことはやらない。 こうすることで一つの作業だけに集中し、予想よりかなり短い時間で完遂でき
Rails: Evil Martiansが使って選び抜いた夢のgem -- 2024年度版（翻訳）｜TechRacho by BPS株式会社
概要 元サイトの許諾を得て翻訳・公開いたします。 英語記事: Gemfile of dreams: the libraries we use to build Rails apps—Martian Chronicles, Evil Martians’ team blog 原文更新日: 2024/05/28 原著者: Vladimir Dementyev（首席バックエンドエンジニア）、Travis Turner（技術記事編集者） サイト: Evil Martians -- ニューヨークやロシアを中心に拠点を構えるRuby on Rails開発会社です。良質のブログ記事を多数公開し、多くのgemのスポンサーでもあります。 日本語ブログ: 合同会社イービルマーシャンズ - Qiita 日本語タイトルは内容に即したものにしました。また、gemごとにGitHubリポジトリへのリンクカードも追加してあ
ＭＵＦＧと三井住友ＦＧがトヨタ株売却へ、１兆3000億円超－関係者
三菱ＵＦＪフィナンシャル・グループ（ＭＵＦＧ）と三井住友フィナンシャルグループ（ＦＧ）の２メガバンクが、政策保有株として持つトヨタ自動車の株式売却を検討していることが７日、分かった。大手金融機関による大規模なトヨタ株放出の動きが明らかになるのは初めて。 複数の関係者が匿名を条件に語った。２社のトヨタ株保有総額は時価で１兆3200億円。政策株をゼロにする方針を打ち出している損害保険会社４社の保有分を含めると、合計で３兆2000億円を超える規模のトヨタ株が売却されることになる。 ２メガと損保４社の保有総額は、トヨタの時価総額の約６％に相当する。トヨタによる自社株買いを活用して段階的に売却することで市場への影響を最小限に抑えるという。 資本効率を低下させるなどの理由から政策株削減の動きは国内で広がっているが、依然として海外投資家などからの削減圧力は強い。国内最大の企業であり、メガバンクなど大手金
特別寄稿 インドに抜かれ「GDP5位」なぜ、日本は凋落一途か／中野剛志・評論家
特別寄稿 インドに抜かれ「GDP5位」なぜ、日本は凋落一途か／中野剛志・評論家 日本だけが成長しなくなったのは、この30年間の政策担当者が誤った経済政策を行い、世界でも突出して愚かだったから。 2024年6月号 BUSINESS ［失われた30年］ by 中野剛志（評論家） 日本は、2023年のドル建ての名目国内総生産（GDP）でドイツに抜かれ、世界第4位に転落した。 世界第2位の地位を中国に明け渡したのは、2010年である。しかし、中国の場合は人口が日本よりはるかに多く、また高度成長期にあった。このため、人口減少局面にある成熟社会の日本が名目GDPで中国に凌駕されるのは仕方がないというような見方が、当時は、まだ大勢を占めていた。 しかし、ドイツの人口は8300万人と日本より少なく、人口が増加しているわけでもない成熟社会である。しかも、近年はドイツ経済も停滞が続いていた。特に23年はマイナ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
率の平均を求めてはいけない/Do_Not_Average_Rates
ふるさと納税1兆円、膨らむ経費 消える税収5000億円 Inside Out - 日本経済新聞
【物議】ディズニーに来たものの満足に遊べない親子に「下調べ不足の親が悪い」という声→そもそも近年のチケットシステムやファンの過熱ぶりに疑問も
GitHub - danvergara/dblab: The database client every command line junkie deserves.
