Coeffects: Context-aware programming languages
Coeffects are Tomas Petricek's PhD research project. They are a programming language abstraction for understanding how programs access the context or environment in which they execute. The context may be resources on your mobile phone (battery, GPS location or a network printer), IoT devices in a physical neighborhood or historical stock prices. By understanding the neighborhood or history, a cont
飛行機のジェットエンジンはどこまで巨大化するのか？
By Clément Alloing 飛行機に使われるジェットエンジンのサイズは推進力と燃費の計算をもとに設計されています。近年は大径化の傾向にある飛行機のジェットエンジンですが、「一体どこまで大型化できるのか」「そもそもジェットエンジンはどんな仕組みなのか」、ということがイラスト付きムービーで解説されています。 Why Are Airplane Engines So Big? - YouTube 飛行機のジェットエンジンは、新しくなるにつれてどんどん大きくなっています。 一方で、飛行機のサイズもいっしょに大きくなっているわけではありません。ボーイング747全長が70.6メートルであるのに対し、最新鋭のエアバスA350の全長は60.7メートルしかありません。しかし、機体が小さいにもかかわらず、搭載しているジェットエンジンは747型機よりも大きなものとなっています。 飛行機のエンジンをどんど
人間が実は作られたシミュレーションの世界に住んでいるのではないか？という仮説を科学者たちが議論
この宇宙がホンモノなのか、それともコンピューターの産物なのかというのは「シミュレーション仮説」と呼ばれて学者たちの興味の対象となっていて、天体物理学者のニール・ドグラース・タイソン氏がモデレーターを務める「アイザック・アシモフ記念討論会」でも議論が行われました。 Are We Living in a Computer Simulation? - Scientific American http://www.scientificamerican.com/article/are-we-living-in-a-computer-simulation/ 「宇宙が実はシミュレーションである」という考え方は、映画「マトリックス」のような話ですが、2003年にオックスフォード大学教授で哲学者のニック・ボストロム氏が提唱したもの。 宇宙全体をシミュレート可能なほど高度に発展した文明があるなら、そのシミュレ
フェイスブックのＣＥＯ トランプ氏に危機感 | NHKニュース
世界最大の交流サイトを運営するフェイスブックのマーク・ザッカーバーグＣＥＯは、アメリカ大統領選挙に向けた野党・共和党の候補者選びで、移民政策などを巡って差別的な発言を繰り返すトランプ氏が支持を集めていることを念頭に、「人々は内向きになっている」として危機感を示しました。 この中でザッカーバーグＣＥＯが講演を行い、大統領選挙に向けて共和党から立候補しているトランプ氏を念頭に、「国境に壁を作れとか、移民の受け入れに慎重になれといった恐ろしいことばを聞くようになった」と述べ、批判しました。 そのうえで「人々や国家がどんどん内向きになり、世界をネットでつなげて１つの社会にしようという考えとは逆の方向へ向かっている」と述べ、移民政策などを巡って、差別的な発言を繰り返すトランプ氏が支持を集めている現状に危機感を示しました。 フェイスブックを含む多くのＩＴ企業が本社を置く、カリフォルニア州のシリコンバレ
＜うつ＞宿坊３４９日連続勤務 京都地裁が仁和寺に賠償命令 （毎日新聞） - Yahoo!ニュース
世界遺産・仁和寺（京都市右京区）が運営する宿坊の元料理長の男性（５８）＝京都市北区＝が、過酷な長時間労働で抑うつ状態になったとして、寺を相手取り約４７００万円の損害賠償などを求めた訴訟の判決が１２日、京都地裁であった。堀内照美裁判長は「極めて過酷ともいうべき長時間労働を強いており、労働時間規制を軽視する態度は顕著」と指摘し、仁和寺に総額約４２５３万円の支払いを命じた。 判決によると、男性は２００５年から境内にある宿坊「御室会館」の料理長を務めていたが、１１年には月１００時間以上の時間外労働が常態化。月２００時間以上になることや３４９日の連続勤務もあった。男性は１２年に「抑うつ神経症」と診断されて仕事を休むようになり、１３年には労働基準監督署から労災認定を受けた。 原告男性は判決後に記者会見し「これで人生を一歩前に進めるが、私の体が治ったわけではない。これまで仁和寺から謝罪は一切無く、誠
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
