一体型VRヘッドセット「Oculus Quest」発表、399ドルで来春発売 Oculusは、アメリカ・サンノゼにて開催中のイベントOculus Connect 5の基調講演にて、新たな一体型VRヘッドセット「Oculus Quest(オキュラス クエスト)」を発表しました。発売時期は来春(2019年春)を予定しており、価格は64GBモデルが399ドル(約45,000円)。PCやスマートフォンを使わずに、身体や手を動かすことのできる没入感の高いVR体験が可能となります。 一体型VRヘッドセットOculus Questとは? Oculus Questは、開発コードネーム「Santa Cruz」と呼ばれていたプロトタイプの製品版です。前面四隅にある4つのカメラを使い、6DoFと呼ばれる上下左右前後への移動を含んだトラッキングが可能となるほか、付属のハンドコントローラーのハンドトラッキングも6D
This note recapitulates and expands the contents of a tutorial on the mathematical theory of algebraic effects and handlers which I gave at the Dagstuhl seminar 18172 "Algebraic effect handlers go mainstream". It is targeted roughly at the level of a doctoral student with some amount of mathematical training, or at anyone already familiar with algebraic effects and handlers as programming concepts
Simon Peyton Jones Published by Prentice Hall Internaltional (UK) Ltd. | April 1987 Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury “The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into
『プログラマのための圏論』はこれまでの分をまとめてPDFファイルにしました。参考にしてください。
リバタリアニズム内の論争のひとつに、どのような国家までを正当とみなすのかというものがある。ひとつは現実政治にも大きな影響を与えたミルトン・フリードマンやフリードリッヒ・ハイエク等の一定の役割に「制限された政府(limited government」)を主張する立場だ。リバタリアニズムの(学術的な)代表的論者とみなされているロバート・ノージックのような「最小国家論(minimal statism)」も基本的にはこちらに分類できるだろう。もうひとつの立場が国家の完全な廃絶を目指す立場、いわゆる無政府資本主義(anarcho-capitalism)だ。この考えを代表する論者としてまずマレー・ロスバード、それからD・フリードマンらがあげられる。 ぼくは自分のことをハードコアなリバタリアンだと考えているが、実際自分が上記のどちらの立場なのかという点について今まで明確に書いたことはなかったように思う。
アナルコ・キャピタリズム(無政府資本主義)とは,リバタリアニズムの最も先鋭的な形態で,国家の完全な廃絶を目指す立場のことだ。アナルコ・キャピタリズムが従来の集産主義的なアナーキズムと異なるのは,私有財産制度と資本主義を全面的に肯定する点にある。詳しいことは,「アナルコ・キャピタリズム研究(仮)ブログ」というアナルコ・キャピタリズムを専門に扱った素晴らしいブログがあるので,そちらを参照して欲しい。 日本のアナルコ・キャピタリストとしては,まずデイヴィッド・アスキューが挙げられる。アスキューはもともとオーストラリアからの留学生で,かれの「リバタリアニズム研究序説」はそれまでのノージックに偏っていた日本のリバタリアニズム理解を正し,日本のリバタリアニズム研究の嚆矢となった論文だ。アスキューの論文では有賀誠他編『ポスト・リベラリズム―社会的規範理論への招待』に所収されている「倫理的リバタリアニズム
ごくごく普通の小学校のお話です。生徒たちはみんな給食のデザートが大好きです。なかでも一番人気はメロン。メロンをあげるかわりに、こんどの給食で出るプリンを2つちょうだい、といったやりとりが盛んです。 しかし、ひんぱんにこんなやり取りをしていると、むかしの約束ごとを忘れてしまったりすることも。 「この前のメロンの代わりに今日のプリンくれるはずだろ!」 「ごめん、忘れててさっき他の人にあげちゃった。。。」 これを見かねた西野くんは、こんな提案をしました。 「学校でお金のやり取りをすると先生に怒られてしまうから、牛乳瓶のふたをお金の代わりにしよう。うちは紙パックの牛乳だから、ぼくのお兄ちゃんの中学校の牛乳瓶のふたをもってきて、それを使おう。」 放課後、西野くんとそのお友達が空き地に集まって、詳しく相談することになりました。 「学校では、この牛乳瓶のふたを1枚10円だと思って流通させよう。ここに10
Architecture is about evolution. The purpose of this article is to present an approach based on Clean Architecture from Robert C. Martin applied to Android. This is something I had in mind in the last few months, so let me share all the stuff I have learnt from investigating and implementing this pattern. “Just because architecture is supposed to be stable, it does not mean that it should never ch
はじめに NEScala 2013 での Daniel Spiewak (@djspiewak) さんの基調講演 "Cake Pattern: The Bakery from the Black Lagoon"(スライド、動画)*1の抄訳です。本記事の公開については、講演者の Spiewak さん、および配信元である Marakana Inc. さんに許可を頂いています。Thank you for your great kindness! 講演者の Spiewak さんは、Scala のディープな活用で有名な Precog の開発に携わっている方です。”モナドはメタファーではない (Monads Are Not Metaphors)”の著者でもあります。 この講演は、昨年のブログ記事 "Existential Types FTW" の議論をさらに掘り下げたもので、Precog での "Ca
ロボットから自動運転車、はては囲碁・将棋といったゲームまで、昨今多くの「AI」が世間をにぎわせています。 その中のキーワードとして、「強化学習」というものがあります。そうした意味では、数ある機械学習の手法の中で最も注目されている(そして誇張されている・・・)手法ともいえるかもしれません。 今回はその強化学習という手法について、基礎から最近目覚ましい精度を出しているDeep Q-learning(いわゆるドキュン、DQNです)まで、その発展の流れと仕組みについて解説をしていきたいと思います。 本記事の内容をベースに、ハンズオンイベントを開催しました(PyConJPのTalkの増補改訂版) Pythonではじめる強化学習 OpenAI Gym 体験ハンズオン 講義資料の方が図解が豊富なので、数式とかちょっと、という場合はこちらがおすすめです。 Tech-Circle #18 Pythonではじ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く