平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ

「史上最速の戦闘機」の称号を半世紀にわたり保持するMiG-25は、それ以外をいろいろと割り切った戦闘機でもあります。技術的困難もかなりの力業で克服しました。何のためそこまで速さを追求し、なぜいまだ最速の座にあるのでしょうか。 史上最速戦闘機」の称号は半世紀前の戦闘機に 速い「乗りもの」と言えば、なんといっても飛行機です。とりわけジェット戦闘機は、その飛行機を追い掛けて撃ち落とすことを仕事としているため、遅くては話になりません。ゆえにこんにちでは、よほど特殊な用途の機種以外はみな音速（マッハ：高度0mで1224km/h）を超える破格のスピードを持っています。 拡大画像 マッハ3.2を誇る史上最速の戦闘機MiG-25P。アルジェリア、シリアに十数機残っているともいわれるが運用状況は不明（関 賢太郎撮影）。 その数あるジェット戦闘機において史上最速、ナンバーワンとして君臨する機種が、旧ソ連のミグ

SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻)． what is this きっかけ 実装したもの 型と型推論について 型？ 型付け規則はこわくない 型環境 型付け規則を読む 整数 変数 ラムダ抽象 関数適用 let式 let rec式 型推論？ Hindley-Milner Type System Hindley-Milner型推論 型の連立方程式 多相性 実装 感想 参照したリンクとか what is this 型理論とか全く知らない人がHindley-Milner型推論器(+ REPL)をCで実装したお話． 記事に誤謬などを発見したらコメントとかDM，リプライください(@cmpl_error)． きっかけ 今年の4月からHindley-Milner型推論という型推論アルゴリズムがあるのはなんとなく知っていて，実装してみたいなーという気持ち

現代のCPUは、クロック周波数の向上や入力に基づいて論理的に処理を事前に行う「投機的実行」技術など、パフォーマンスを上げるための高度な技術が数多く用いられています。そうしたCPUのパフォーマンス向上に貢献している技術の一つに、単一のCPUコアで複数のスレッドを同時に実行することができる機能「SMT(同時マルチスレッディング)」がありますが、そのSMTが合理的ではなくなってきている可能性があります。 Does SMT still make sense? https://www.codeblueprint.co.uk/2019/11/05/does-smt-make-sense.html 現代のほとんどのCPUにはSMTが使われており、並列してタスクを処理することができます。Intelが実装しているSMTは「hyperthreading」と呼ばれ、パフォーマンスの改善を目指して2002年よりP

by Nikita Kostrykin 2006年にソニーから発売されたPlayStation 3は標準でフルHD規格に対応し、家庭用ゲーム機として初めて初のBlu-rayドライブやHDMIを供えたゲーム機です。そんなPlayStation 3の「スーパーコンピューターとしての活躍」について、PlayStation25周年を記念して技術系メディアのThe Vergeが解説しています。 The rise and fall of the PlayStation supercomputers - The Verge https://www.theverge.com/2019/12/3/20984028/playstation-supercomputer-ps3-umass-dartmouth-astrophysics-25th-anniversary スーパーコンピューターとして活躍したことで知

ジャイアントキリングが起きた2019年――アキバの1年を振り返る【前編】：2019年のアキバまとめ前編（1/4 ページ） 絶対王者たるIntelのCPUに、暗雲が立ちこめてきたのは2018年9月頃までさかのぼる。主力CPUのCore i5の在庫不足から端を発し、年末年始には新たに登場したハイエンドの「Core i9-990K」も枯渇するようになり、苦肉の策でBTO向けCPUをバルク品としてセット売りをする光景も見られるようになった。バルク品の販売は、メーカーからにらまれるリスクがある。それでも複数のショップが踏み切るくらいに、春頃までのCore iシリーズは市場を担う存在だったといえる。 在庫不足で苦しんだIntel、5月の大型連休でAMDがシェア逆転 Intelも2月の「Core i5-9400F」を皮切りに、3月に「Core i9-9900KF」「Core i7-9700KF」「Cor

アートや表現の自由をめぐる様々な議論を巻き起こした、あいちトリエンナーレの企画「表現の不自由展〜その後」。 展示内容に関するテロ予告や脅迫、抗議などを受け一時中止となったさなか、出展アーティストが自らコールセンターを設置したことにも注目が集まった。 そこに電話をし、自らの意見を吐露した人たちは「モコモコとした、巨大な集団だった」と、センター設置に携わったアーティストは振り返る。 いったい、どういうことなのか。いま、改めて「対話」を考える。 「いかに同質なコミュニティの中で自分が心地良く生きているか、ということを改めて知ることができました。コールセンターをきっかけに、異なる意見が響き合う空間をつくっていきたい」 そうBuzzFeed Newsの取材に語るのは、トリエンナーレの参加アーティストのひとりでもある演出家の高山明さんだ。 そもそも、あいちトリエンナーレをめぐる抗議電話は、一部組織的と

リンク 電ファミニコゲーマー – ゲームの面白い記事読んでみない？ 『ドラゴンボール』と『ナルト』の元担当編集が語る「ジャンプ」の裏側 ― 絶対に敵わない『ワンピース』に勝つために『ナルト』が取った戦略とは【鳥嶋和彦×矢作康介×鵜之澤伸×松山洋】 『ジャンプ』の強さの秘密はどこにあるのか。紙の雑誌の売れ行きが急速に落ち込んでいる現在、漫画はこの先どうしていくべきか？ ラジオ「居酒屋：でんふぁみにこげーまー」にて、鳥嶋和彦氏、鵜之澤伸氏、ゲストに松山洋氏と、矢作康介氏を迎え、大いに語り合ってもらった。 414 users 1082

1960年、山口県生まれ。監督・プロデューサー。学生時代から自主制作映画を手掛け、その後TVアニメ『超時空要塞マクロス』（1982年）、劇場用アニメ『風の谷のナウシカ』（1984年）等に原画マンとして参加。1988年、OVA『トップをねらえ！』でアニメ監督デビュー。1995年にTVアニメ『新世紀エヴァンゲリオン』を手掛け、1997年の『新世紀エヴァンゲリオン劇場版』とともに社会現象を巻き起こす。1998年、『ラブ＆ポップ』で実写映画を初監督。2006年、株式会社カラーを設立し、代表取締役に就任。自社製作による『ヱヴァンゲリヲン新劇場版』シリーズ（2007年〜）では、原作、脚本、総監督、エグゼクティブ・プロデューサーを担当している。最新作は脚本・総監督を務めた実写映画『シン・ゴジラ』（2016年）。現在は『シン・エヴァンゲリオン劇場版』を2020年6月公開に向けて制作中。 庵野秀明監督・特別

10大テーマで振り返る「2019年のにじさんじ」まとめ 2018年の「にじさんじ」ライバーデビューから2年が経とうとしている。今年もライバーの増加や大型イベントや外部コラボ企画など、実に大きな動きが見られた。この記事では「にじさんじ」の2019年を10のテーマに分け、それぞれのトピックを振り返ってみよう。 テーマ1:企画配信 にじさんじを最も「にじさんじらしく」していたのは、ライバーそれぞれががタレント性を発揮する企画配信だろう。 中でも話題となったのは、某地上波番組のにじさんじバージョンとなる「格付けチェック」配信である。この企画では、先輩相手でもツッコミの手を緩めない夢追翔の司会ぶりが印象的だった。待機部屋では、映画談話で盛り上がるでびでび・でびると月ノ美兎といった珍しい組合せも見られ、大きな盛り上がりを見せた。 また夢追翔＆緑仙らが中心となった企画「みどりさんといっしょ」では、第1回

はじめに 2019年もあと少しで終わりです。 皆様、いかがお過ごしでしょうか。 年末といえば、紅白、ガキ使、そろそろ仕事にも慣れてきた頃にやらかしてしまった入社2年目社員のQiita記事 がつきものですね。 本記事では、今年の夏にアノテーション作業になめてかかり心が壊れた2年目社員(＝私)の記録を紹介したいと思います。 ※本記事はやめ太郎氏リスペクトでお送りします！ 第0章　チュートリアル　～アノテーションとは～ 皆さんは機械学習におけるアノテーションをご存じでしょうか。 教師あり学習において、モデルの作成には教師データが必要不可欠です。 例えば、画像から犬と猫を判別するようなモデルを作成するには犬と猫の画像を学習させる必要があります。 このとき、学習させる画像に「これはイッヌ」「これはネッコ」という風にタグをつけます。 この作業のことをアノテーションといいます。 一般的に、質の高いモデル

世界中で嫌われている（らしい）リベラリズムの限界と未来について、萱野稔人さんと御田寺圭さんが考察するというトークイベントがあったので聴いてきた。 トピックハイライト 顔で選ぶと差別だが、頭で選ぶのは差別ではない 男女平等が大事なら、激務で過労死寸前の職場に女性を送り込むの？ と聞くと、「そんなことは議論していない」 SNSで偉そうな教授はCiNiiで検索される リベラリズムでは財の再配分ができない理由 ≒ 仲間意識の限界　←ここがリベラリズムの限界 多様性を重視するなら「リベラルを拒絶する人」をリベラルは受け入れるべきだが、リベラルを拒絶する人が子どもをたくさん産んでいる（ex.フランスのイスラム教徒） 日本は一夫一婦制ではなく、非同期型一夫多妻制 リベラリストとは「リベラルを共有できる社会を守りたいだけの集団」になってしまう リベラリストへの信頼が失墜しても、リベラルを捨てないために今で

※本稿は2019年12月時点での情報になります。 2022年1月23日に最新版として「上がった大学・伸びる学部84校～Fランク脱出／情報系／観光・国際系~コスパのいい大学2022」を公開しました。 また、これに合わせて本稿タイトルに年次を入れました。 「Fランク大学は東京から消えつつある」 この記事を書こうと思ったきっかけはとある高校教員向けの勉強会で私が講演したときのことでした。 講演後、参加した高校教員と話をしていると、話題は大学受験に。 など、大学受験の激戦化を示す内容が飛び交いました。 ある教員は、 「大学受験がかなり難しくなっている。もはや、東京からはFランク大学は消えかかっているのではないか」 付言しますと、「消える」は廃校ではありません。難化・激戦化によってFランクから脱した、という意味です。 そこで実際に入試データを調査してみたところ、驚きの結果が出たのです。 Fランク大学

赤十字コラボ第3弾（京都赤十字では第2弾）が進行してたのに、巨乳が遠因で消滅した…… こんなことが許されていいのか……！？ 日本人！　目覚めろよ！　日本人！　おーい！　おーい！！ 乳！！！ --------------------------------------------------------------- ◆twitter（フォローせよ） https://twitter.com/AkatsukiUNI ◆BOOTH https://akatsukiuni.booth.pm/ ◆Pixiv FANBOX https://www.pixiv.net/fanbox/creator/31380019 ◆Fantia https://fantia.jp/fanclubs/6380

このたび亡くなった方に対し、お悔やみ申し上げます。 このような悲劇を繰り返さないために、私が知る範囲の情報を社会全体に提供したいと思います。 私が勤める拠点は、過去に亡くなった方々が所属する拠点とは異なります。そのため、亡くなった方々とも寮は、同じとはいえ、直接の面識がありません。そのため、加害者や該当の拠点に関する情報も一切所持していません。 この寮の仕組みと、三菱電機の体制について、可能な範囲で説明するため、この記事を書いています。 まず、この寮は、兵庫県の三田市にあるのですが、三田地区や伊丹地区に配属された新人の大多数が最初に入居します。最大400人くらい住めるはずです。この寮自体に自殺を誘発する原因があるというよりは、近隣地区の新人の大多数が住む寮のため、人数が多いという方が正確と思われます。 部屋は9畳ワンルームです。トイレ、風呂は共用ですが、掃除は行き届いています。朝食夕食は、