型システム 〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
800万回超も再生された「百獣の王ライオンがハイエナに囲まれ絶体絶命の瞬間」を捉えたムービー
一般的に、ライオンはアフリカのサバンナにおける食物連鎖の頂点に君臨する「百獣の王」というイメージであり、一方ハイエナは、ハイエナは「死肉をあさるサバンナの掃除役」というイメージを強く抱かれます。しかし、実際はハイエナの方がライオンよりも狩りがうまく、群れをなしたハイエナにライオンが襲われてしまうこともよくあることだそうです。BBCの動物ドキュメンタリー「Dynasties」の撮影班が、実際に1匹のライオンが20匹以上のハイエナたちに囲まれて大ピンチに陥る様子を捉えた貴重な映像を公開。ムービーは記事作成時点で800万回を超える再生数を記録しています。 Lion Attacked by Pack of Hyenas - FULL CLIP (with ending) | Dynasties | BBC Earth - YouTube BBCの撮影班が捉えているのは「レッド」というあだ名で呼ばれ
暗い太陽のパラドックス - Wikipedia
太陽型星の一生を描いた想像図。左下で主系列星として始まり、準巨星と巨星の段階を経て、外層を放出して右上の惑星状星雲に至る。 暗い太陽のパラドックス[1] (くらいたいようのパラドックス、英: faint young Sun paradox, faint young Sun problem) とは、初期の地球に液体の水が存在していたことと、天文学的な観点からは初期の太陽の光度は現在の 70% しかなく暗かったと予想されることの間に存在する矛盾である[2]。暗い若い太陽のパラドックス[3]と呼ばれることもある。この問題は、1972年に天文学者のカール・セーガンと George Mullen によって提起された[4]。 パラドックスを解決するための仮説としては、温室効果を考慮するもの、その他の天体物理的な影響を考慮するものや、それらを組み合わせたものなど複数が提案されている。太陽の放射量が変動し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
