コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕
アインシュタイン方程式の解も発見 1955年の今日(1月7日)、アメリカの数学者エドワード・カスナー(Edward Kasner、1878-1955)が亡くなりました。 アメリカ・ニューヨークのユダヤ人移民の家庭に生まれたカスナーは、コロンビア大学で数学を学び、博士課程では群論と幾何学の研究で知られるフェリックス・クラインや、「23の問題」の提唱で知られるダフィット・ヒルベルトに学びました。 彼の業績として特に知られるのは、アインシュタイン方程式の解の1つである「カスナー解(計量)」の発見です。「カスナー解」は非等方的な宇宙モデルを表現しており、カオス的な振る舞いをする宇宙モデルや、高次元理論において3次元空間のみが大きくなるモデルの研究に大きな進展をもたらしました。 また、カスナーは数学を一般向けに解説した著書『数学と想像』でも知られ、その中にこんなエピソードが載っています。カスナーは子
僕は全共闘世代ですから、大学時代には人とぶつかったほうがカッコイイと思って、ディベートなどをやった時期もありました。 当時、大部分の学生たちは確固たる思想があって討論しているわけではなかったので、自分が間違っていると気がついても突っ張って曲げようとしません。それで最後はつかみ合いになる。そんな現場を見ているうちに、「くだらんことだなあ」と思って参加するのをやめました。「人と言い争ってもプラスになることはない」「人とぶつからないようにしよう」と思うようになったのは、その頃からです。 「正義」が抱える危うさ 僕が大学生だった1960年代の後半は、正義の名のもとにベトナム戦争に介入したアメリカが戦線を拡大する一方で、反戦運動が盛んになっていく時代でした。 「正義」によって戦争をするということは、「自分は正しい」という大前提のもと、「対立するやつらは悪だ」「だから懲らしめる」という論理。お互いの国
45歳のプログラマーの男が仕事で書いたコードを年収判定のためGitHubに上げて、複数企業の業務で使われていたコードの一部が流出した。GitHubは本来、公開して構わないオープンソース等のコードを共有する場で、年収判定サイトは、コミュニティでの活動を評価に結びつけようというコンセプトだった。しかし男は業務として開発した商業機密として保護すべき顧客のソースコードを不当に持ち出して、自分の年収を判定してもらうために丸ごと公開してしまった。 GAFAはじめネット企業を中心に、自社サービスを構成する部品で汎用的に使えるコードをGitHubなどを通じてオープンソースとして公開する動きが広がっている。一方で伝統的なシステム開発では、ソースコードは委託した業務の重要な成果物、秘匿すべき商業機密として組織内で管理することが一般的で、開発環境からはGitHubなどのサイトにアクセスできないよう遮断している場
Wikipedia ”Cropmark” より かつて、そこには石壁や住居の基礎があった。そうした構造物は、長い時間をかけてゆっくり土に埋もれてゆく。 地表に牧草などが根付いた場合、その根は深く伸びることができない。そのため、牧草の生育が悪くなり、上空から見ると、奇妙な模様が浮かび上がる(考古学で、クロップマークと呼ぶ)。 Wikipedia ”Cropmark” より クロップマークは、航空写真で確認できる。 だが、もっと微妙な、植生の健康状態の違いは、近赤外線データから読み取ることになる。人の目には同じに見えるが、近赤外線画像だと、クロロフィル(葉緑素)の違いは、赤色の違いによって判別できるからだ。 宇宙から遺跡を探す この発想を広げて、人工衛星から撮影した画像データを元に、地下に眠る遺跡を探すのが、宇宙考古学になる。 単なる解像度の高い写真ではない。地上 640km から撮影された電
@use postcss-preset-env { stage: 0 } .stack { display: grid; grid: [stack] / [stack]; perspective: 5000; &:before { content: ""; position: fixed; inset: 0; background: lch(95 0 0); transition: background 2s ease; pointer-events: none; } &:matches(:hover, :active) { &:before { background: lch(15 0 0); } } &:matches(:hover, :active) .card { --bg-opacity: 5%; transition-duration: 2s; transition-timin
LINE株式会社は、2023年10月1日にLINEヤフー株式会社になりました。LINEヤフー株式会社の新しいブログはこちらです。 LINEヤフー Tech Blog (2月5日 16:30追記) SNS等で多くのご指摘をいただき、再度掲載していたコードや表現について社内で議論いたしました。それを踏まえて以下の通り、補足および訂正させていただきます。 エラトステネスのふるいの実装方法については、高速化のための実装ではなく、アルゴリズムなどの勉強をしっかり行ってきたか、ということを示すための1例として紹介しましたが、あたかも高速化を目指したコードとしての例示となり、誤解を招く表現でした。上記の意図を明確にするために、本文中に高速化するための実装ではないことを明記しました。 また、"個性がない"という表現も、上記と同様に"アルゴリズムなどの勉強をしっかり行ってきたという実績や経験がコードから判断
Twitterがテキストエディタのコードをオープンソースで公開、iOS用。「Twitter Text Editor」 Twitterは、iOS用のテキストエディタを実装するコード「Twitter Text Editor」をオープンソースで公開しました。 Today we’re happy to share Twitter Text Editor, a standalone, flexible API that provides a full-featured rich text editor for iOS applications. iOS developers can add robust text editing to their applications! #TwitterTextEditorhttps://t.co/OaABWmCrOz — Twitter Open Source
Clubhouseなのに全員無言!? もくもくと作業する人をつなぐ使い方がリモートに最適:リモートワーク時代のライフハック術(1/3 ページ) 音声でつながる招待制SNS、「Clubhouse」(クラブハウス)が日本でも大きな話題になっています。 2020年3月にローンチしたClubhouseはツイッターやFacebookのようにユーザーがお互いフォローし合うソーシャルネットワークですが、文字や画像を投稿するのではなく、ユーザーは音声で会話をする「ルーム」を立ち上げて交流を楽しむ場になっています。 ルームは登壇して喋っている「スピーカー」と、その様子を聴いている「オーディエンス」とに分かれていますが、簡単にオーディエンスを登壇者に変更することも、逆に登壇者が聞き手に回ることもできるため、友人同士の会話をお裾分けするようにも使えますし、仮想的なイベントを開催しているように利用することも可能で
クラスメソッドがエンジニアの技術情報発信サービスである「Zenn(ゼン)」を買収する。自らもエンジニア向けの技術情報発信メディア「Developers.IO」を運営するクラスメソッドが、なぜZennの運営に乗り出したのか? 数十社による争奪戦の舞台裏とは? そして今後目指す情報発信の姿とは? Zenn開発者のcatnose氏とクラスメソッドの横田聡CEOに聞いた。(以下、敬称略 インタビュアー アスキー編集部 大谷イビサ) 既存のブログサービスでは満足できなかった オオタニ:まずはcatnoseさんからZennの開発経緯を聞かせてください。エンジニアの技術情報発信って、それこそ個人ブログもあるし、最近ではQiitaがメジャーだったりして、決して真新しくはないですよね。あえて、この分野にチャレンジした背景を教えてください。 catnose:もともと私は個人でWebメディアをやっていて、十分食
神奈川県の県立大井高校の校舎にシカが侵入し、シカは29日午前11時45分現在も2階の女子トイレに閉じこもっている。 警察によると、午前9時ごろ、「大井高校の駐車場にシカがいる」と110番通報があった。 シカはいったん見えなくなったということだが、午前10時20分ごろ、教員が学校の敷地内にシカが入ってくるのを見つけ警察に通報、その後、シカは廊下の窓ガラスを割って校舎に侵入し、現在は2階の女子トイレに閉じこもっているという。 かなり大きいシカとみられているが、生徒や教師にけが人はいない。 警察と地元の猟友会が、まもなくシカの捕獲作戦を決行することにしている。 【続報記事】 ・校舎に侵入...野生シカ捕獲 女子トイレに閉じこもり ・高校の女子トイレに野生のシカが立てこもり 「角にロープかけて…」捕獲には練り上げられた作戦が
Introduction Participation If you are interested in contributing to this book, check out the contribution guidelines. News 2024-03-17: You can now download the book in PDF format from this link. Design patterns In software development, we often come across problems that share similarities regardless of the environment they appear in. Although the implementation details are crucial to solve the tas
みなさん、 Rust 書いてますか?最近は Rust が楽しくてたまりませんが、のんびりやっていたらなんとなく理解するまで 1 年くらいかかってしまいました。 良い言語なので、できればみなさんにも気軽に手を出してもらいたく、 Rust の中で特に難しい概念とされている話「所有権(ownership)」について簡単にまとめることにしました。 おことわり 今回記述する「所有権」は、英語で "ownership" として表現されるものを和訳した単語です。 今回説明している概念は、「所有権」という言葉よりも "ownership" (およびその対訳である「所有」、「持ち主であること」) のほうが的確であると思いますが、このドキュメントでは「所有権」という言葉を使います。 所有権とは 所有権とは、簡単に言えば「値(データ)を持っている」 「その値を解放することに責任を負っているもの」のことを指します
The Little Book of Rust Books This book is a treasure-trove of Rust books: Official books maintained at rust-lang.org Unofficial books maintained elsewhere Application books on specific Rust applications If you know of others, why not submit a pull request? The titles of books not in mdbook format are italicised. For more books in other formats, see Rust Books.
「Age of Rust」は、FPSのようなアクションやパズルゲーム要素が楽しめるブロックチェーンゲーム。文明崩壊後の世界で、放棄された宇宙ステーションや不思議な洞窟などを冒険するSFのような世界観が特徴だ。 なお、現状では日本語対応が行われていないので注意しよう。 92.7万ドル相当の暗号資産およびアイテムをゲーム内で配布 本ゲームのウィッシュリストはすでにSteamで公開されており、リリース前に登録したプレイヤーは配信開始の前日より、先行して250,000km2のバーチャル世界に隠された、総額が約92.7万ドル相当のリワードを探索できます。 2014年に結成されたSpacePirate Gamesは、ブロックチェーン市場の形成期にサイファーパンクの間で有名となる、テキストベースの暗号パズルゲームを最初に立ち上げました。 この初期のコンセプト実証で大成功を収めた後、チームはビットコインと
Win32 APIをアプリケーションから利用すると、Windowsを最大限に活用できる。CやC++の開発者であれば既存の仕組みを容易に利用できるものの、C#やRustのような言語からWin32 APIへアクセスするには、手動でAPIのラッパーやバインディングを作成する必要がある。この方法はエラーが起こりやすく、広範なAPIをカバーする拡張性にも欠けている。 近年では、さまざまな言語からWin32 APIを呼び出す必要性が高まっている。これを背景として、ラッパーやバインディングで強く型付けされた慣用的な表現を提供し、開発者の負担を軽減する幾つかのコミュニティープロジェクトも登場している。.NET向けの「P/Invoke」や、Rust向けの「winapi-rs」などが有名だ。 これらのプロジェクトは有望なものの、手動でメンテナンスされているため、広範なAPIを持続的にカバーするのは困難であり、
ロボット掃除機・ルンバでおなじみのロボットメーカー「iRobot」が、「次世代のエンジニアを育成する『小さなルンバ』」と称するプログラミングロボット「Root」を発表しました。2021年2月19日(金)の発売日に先立って実機を借りることができたので、子どもが感じる楽しさやワクワクの「根っこ」を大切にしたというRootでどのようにプログラミングを学べるのか、実際に使って確かめてみました。 プログラミングロボット Root | アイロボット公式サイト https://www.irobot-jp.com/root/ Rootが実際に動作する様子は、以下のムービーを見るとよくわかります。 「iRobot Root」でプログラミングを実行するとこんな感じ - YouTube ◆外観 Rootの外箱はこんな感じ。 箱を開け付属品を取り出すと、Root本体が姿を現しました。 本体の他には、絵を描くための
Your learning center to build in-demand cloud skills.Skill Builder provides 500+ free digital courses, 25+ learning plans, and 19 Ramp-Up Guides to help you expand your knowledge. Courses cover more than 30 AWS solutions for various skill levels. Skill Builder offers self-paced, digital training on demand in 17 languages when and where it's convenient for you. You can learn efficiently by followin
この資料には宣伝が含まれます ライセンス Creative Commons — 表示 - 非営利 - 改変禁止 4.0 国際 — CC BY-NC-ND 4.0 内容 これから WebRTC を学ぶ人が何を学ぶべきで、何は学ばないべきなのかを書く。定期的に更新していく。 趣味で学びたい人はターゲットに入っていません、仕事で利用する場合のみがターゲット。 まとめ 急がば回れで、W3C の資料を理解できるまで読み込む。 下手にフレームワークに依存したりして簡単な仕組みを覚えてしまうと後からツライ。 Media Capture and Streams WebRTC 1.0: Real-Time Communication Between Browsers Identifiers for WebRTC's Statistics API 作って学ぶも良いが、まずは出てくる単語などの意味を理解できるの
「Microsoft Flight Simulator」は”究極”の空の旅を楽しめるVRゲームだった 2020年にマイクロソフトが販売した、“ド級”フライトシミュレーター「Microsoft Flight Simulator」が同年12月、VRに対応しました。 本作は、BINGの衛星データや航空写真などから作成された、超広大なマップ(文字通り地球規模の)を、航空機で自由気ままに飛び回れるという作品。旅行どころか空港に行くのも難しいこのご時世にリリースされたのは、まさに運命的。 筆者は割とインドア派ですが、さすがにそろそろ出かけたい欲がウズウズ…。というワケで、「Oculus Link」で繋いだOculus Quest 2を着用し、“ひとっ飛び”してきた顛末を報告します。 飛行機操縦の難易度は”ホンモノ”レベル! 早速、メインのゲームモードである「WORLD MAP」(自由に飛行できるモード
この1週間、日本のネットで最も注目された話題の1つは間違いなく、音声SNSのClubhouseでしょう。 日本の電話番号に対応したのは、つい先週末のことのようですが、先週末から今週にかけて一気に話題が沸騰。 筆者自身が、長い日は10時間以上Clubhouseにいりびたってしまうほど、ほぼ今週はClubhouseに住んでいる状態でしたので、まだ使ったことがない方とはかなり温度差があると思いますが。 参考:音声版ツイッターといわれる「Clubhouse」の、何がそこまで革新的なのか 個人的には、このサービスの登場に、日本のインターネットの位置づけや構造が変わってしまう可能性すら感じています。 たった一週間でClubhouseは大きな話題にまずは、この一週間の怒濤の展開を振り返ってみましょう。 ■1月22日(金) Clubhouseの時価総額が1000億円超えと報道 ■1月23日 週末にかけて起
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く