タグ

2019年12月15日のブックマーク (4件)

  • 将来世代はグレタ・トゥーンベリを許さない? - himaginary’s diary

    ふと、かつて温暖化対策の行き過ぎを諌めたビョルン・ロンボルグはグレタ・トゥーンベリについて何か言っているのかな、とぐぐってみたところ、9月末にこのような論説を書いていることを知った。以下はその概要。 人間が気候変動の科学を理解して行動しないことは「悪」であり、気候変動によって「人が死んで」おり、あと8年余りで炭素の排出余地は尽きてしまうため、2028年までに化石燃料で動くものをすべて閉鎖すべし、というグレタ・トゥーンベリの国連演説は、良く見られる主張であるが、根的に間違っている。確かに気候変動は人為的な原因で現実に生じているが、気候変動で世界が終わるという彼女の見方は根拠が無い。IPCCによれば、2070年までの気候変動の影響は、生態系への影響も含めても、平均所得の0.2-2%の減少に相当する。その時までに、地球上の各人の所得は300-500%向上している。 1世紀前の生活はつらいものだ

    将来世代はグレタ・トゥーンベリを許さない? - himaginary’s diary
  • 二年連続でヒューゴー賞・ローカス賞を受賞した、自省的な人型殺人警備ユニットの日常録──『マーダーボット・ダイアリー』 - 基本読書

    マーダーボット・ダイアリー 上 (創元SF文庫) 作者:マーサ・ウェルズ出版社/メーカー: 東京創元社発売日: 2019/12/11メディア: 文庫マーダーボット・ダイアリー 下 (創元SF文庫) 作者:マーサ・ウェルズ出版社/メーカー: 東京創元社発売日: 2019/12/11メディア: 文庫この『マーダーボット・ダイアリー』はマーサ・ウェルズのSFアクション連作中篇集である。上下それぞれに二篇の中篇が収められていて、特に上巻の「システムの危殆」はヒューゴー賞、ネビュラ賞、ローカス賞の各ノヴェラ部門を授賞。続く「人工的なあり方」もヒューゴー賞、ネビュラ賞を授賞と(賞的な意味で)評価の高い作品。 それにこの創元文庫版は安倍吉俊のイラストもあいまって刊行がたいへん待ち遠しかったんだけれども、読んでみたらこれが期待通りのおもしろさ! 全篇通して自分のことを一人称で「弊機」を呼ぶ人型警備ユニット

    二年連続でヒューゴー賞・ローカス賞を受賞した、自省的な人型殺人警備ユニットの日常録──『マーダーボット・ダイアリー』 - 基本読書
    kirakking
    kirakking 2019/12/15
    よさそう。
  • TeX言語でレイトレーシングを実装する話 - hak7a3が書き残す何か

    この記事はTeX & LaTeX Advent Calendar 2019の14日目の記事です。 13日目はmattskalaさんでした。15日目はaminophenさんです。 TL; DR TeX言語を使って,こんな画像を生成する話. レイトレーシング結果 はじめに 周知のとおり,TeX言語はチューリング完全なプログラミング言語である.すなわち,世界にある任意のプログラムはTeX言語で記述可能である.あの文法と評価規則からは直観的ではないが,CGのレンダリングも科学技術計算もその気になればTeX言語で記述できる. 今回は,久しぶりのTeX芸人活動ということで,TeX言語でレイトレーシングしてみた. レイトレーシングとは レイトレーシングとは,画素ごとにカメラに入ってくる光線を逆方向に追跡してCGのレンダリングをする技法である.光線の追跡では,経路上の物体に対する反射・屈折を考慮する.

    TeX言語でレイトレーシングを実装する話 - hak7a3が書き残す何か
  • CとRustで一から作るマイクロカーネルOS

    マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は,「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea(りーせあ)の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが,マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理,プロセス間通信,タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は,独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く,疎結合で美しい

    CとRustで一から作るマイクロカーネルOS
    kirakking
    kirakking 2019/12/15
    マイクロカーネルの形式証明について調べてみよ。