ジーン・E・サメット(Jean E. Sammet、1928年3月23日 - 2017年5月20日[3])は、アメリカ合衆国の計算機科学者である。プログラミング言語COBOLの開発者の1人であり、1962年にプログラミング言語FORMACを開発した。 1948年にマウント・ホリヨーク大学で数学の学士号(B.A.)を、1949年にイリノイ大学アーバナ・シャンペーン校で数学の修士号(M.A.)を取得した。1978年にマウント・ホリヨーク大学から名誉博士号(D.Sc.)を授与された[4]。 概要[編集] サメットは1955年から1958年にかけてスペリー・ジャイロスコープに雇用され、同社の初の科学プログラミンググループを指揮した。1958年から1961年まで、シルバニア・エレクトリック・プロダクツ(英語版)でプログラミング研究のスタッフコンサルタントとして、またオリジナルのCOBOLグループのメ
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "エイダ・ラブレス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年12月) 1840年ごろの肖像画、 (作)アルフレッド・エドワード・シャロン アントワーヌ・クロード(英語版)による銀板写真。1843年または1850年の写真とされる。 ラブレース伯爵夫人オーガスタ・エイダ・キング(Augusta Ada King, Countess of Lovelace, 1815年12月10日 - 1852年11月27日)は、19世紀のイギリスの貴族・数学者。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作
昔書いた「感染症は実在しない」を集英社から仕立て直して出してもらうことになりました。「あとがき」を追記したので、どうぞ。 英国がCOVID-19対策で、他国と異なる対応を取ると表明したとき、世界は驚いた。国民の多くにあえて感染を許容させ、集団免疫をつけさせようというのだ。かなりの「奇手」と思った(英首相の「降伏」演説と集団免疫にたよる英国コロナウイルス政策(小野昌弘) - Yahoo!ニュース [Internet]. Yahoo!ニュース 個人. [cited 2020 Mar 19]. Available from: https://news.yahoo.co.jp/byline/onomasahiro/20200315-00167884/)。 ところが、事態は二転三転する。この感染許容策に多くの専門家が批判を寄せた。議論が繰り返され、結局、英国は他国同様、保守的で「普通の」感染対策を行
Visit on Firefox Add-ons / Microsoft Edge Add-ons / Chrome Web Store A Customized Vimium (to click web page content and manipulate browser windows using only keyboard) having contextual mapping, global shortcuts, command sequences, Chinese support and injection functionality, in C-style code for quicker action and less resource cost. Vimium 的一款修改版(可以用键盘点击网页内容、操作浏览器窗口),添加了完整的中文支持、分场景映射、全局快捷键和命令序列功能
CommentScreenとは?CommentScreenはオンラインイベントや授業を盛り上げることができるツールです。 コメントやリアクションを スクリーンで流そうプレゼン中に聴衆のコメントをディスプレイ上に表示することができます。リアルタイムで聴衆の意見やコメントを集めて、対話的なプレゼンテーションをしましょう。 質問を見逃さずにコメントから質問や賛同の多かったものを選んで、質疑応答セッションをすぐに始めることができます。一度流れたコメントでも、後からまとめて振り返ることができます。視聴者の関心や疑問を直接的に対処し、より対話的なセッションを実現しましょう。 リアルタイムで アンケートを取ろうアンケート投票で視聴者にとってのあなたのプレゼンの理解度や感想をリアルタイムで知り、より効果的なコミュニケーションを実現しましょう。また、アンケート結果のデータを分析することで、次回のプレゼンテー
令和2年3月27日 お客様及び関係者各位 ソフト・オン・デマンド株式会社 代表取締役 野本 義晃 弊社運営の「SODプライム」における個人情報等流出に関するお詫び及びお知らせ(続報) このたび,弊社運営の「SODプライム」(以下,「弊社サイト」といいます。)において,会員登録をされたお客様の情報の一部が,他のお客様から閲覧可能となる事象が発生していたことに関して, 3月19日付け「弊社運営の「SODプライム」における個人情報等流出に関するお詫び及びお知らせ」(以下,「前回報告」といいます)に引き続いて,調査状況と,ご迷惑をおかけ致しましたお客様への対応の方針について, ご報告させていただきます。 本件により,お客様及び関係者各位に,多大なるご迷惑をおかけしていること,さらには,弊社サイトが未だ再開できない状況であることについても,改めて深くお詫び申し上げる次第です。 1.本件の事故原因等の
学習の仕方 計算機科学コースの学生には講義中に別途やり方を指示します.(実験3SWもやるので.) OCaml が使えるように環境を設定しましょう. 教科書を読みながらもりもり演習問題を解きましょう. 教科書にバグを見つけたら issue で報告しましょう. 講義の履修者は講義用 Slack で質問してもよいですね. プログラミング言語強者になりましょう.そのためには... なにか自分で言語を作って処理系を作ってみましょう.作った処理系を自慢しましょう.世界中で自作の言語が使われるようになったらいいですね. もしくは,プログラミング言語理論やプログラム検証を勉強してみましょう. TODO: 参考文献 目次 OCaml の環境設定 - (講義スライド) OCaml あまり知らない人向け: 前提となる OCaml の知識を身に付ける. OCaml 爆速入門 by 五十嵐淳 OCaml で二分探索
https://en.wikipedia.org/wiki/Wicked_problem http://heim.ifi.uio.no/~dino/SSW-KF/L10/Conklin-DialogueMapping.pdf 1. 厄介な問題に決まった形はない。 2. 厄介な問題には終わりのルールがない。 3. 厄介な問題に対する解決策は、正解/不正解があるのではなく、良いか悪いかがある。 4. 厄介な問題に対する解決策は、すぐには検証できないし、完全に検証することもできない。 5. 厄介な問題にたいする解決策はすべて「1回きりの対処」になる。試行錯誤して学ぶ機会もないので、毎回の試行が重要だ。 6. 厄介な問題には、とりうる解決策を列挙できるものはないし、計画に組み込むことが出来るようなハッキリしたオペレーションもない。 7. 厄介な問題は皆、本質的に独自性がある。 8. 厄介な問題は皆
In planning and policy, a wicked problem is a problem that is difficult or impossible to solve because of incomplete, contradictory, and changing requirements that are often difficult to recognize. It refers to an idea or problem that cannot be fixed, where there is no single solution to the problem; and "wicked" denotes resistance to resolution, rather than evil.[1] Another definition is "a probl
ギガノトサウルス(学名:Giganotosaurus)は、非鳥類型獣脚類に属する大型の恐竜の属[1][2]。カルノサウルス類のうち[1][2]、カルカロドントサウルス科に属する[3]。全長は約13メートルと推定されている[3]。グレゴリー・ポールは推定体重を7 - 8トンとし、カルカロドントサウルス科の頭骨が過剰に長く復元されていると指摘しつつ、本属がスピノサウルスに匹敵する最大級の獣脚類であると認めている[4]。 化石はアルゼンチン西部に分布する上部白亜系下部セノマニアン階のカンデレロス層から産出し[4]、Coria and Salgado, 1995 で記載された[2]。頭骨と体骨格の大部分が知られている[4]。同国のパタゴニアからはギガノトサウルスのボーンベッドが報告されている。この成因として彼らが社会性を持って群れをなしていた、あるいは一時的な集団を形成して狩りを行っていたなど、複
人との大きさ比較。 紫色はスティギモロク (Stygimoloch), 赤色はドラコレックス (Dracorex hogwartsia)。 体長4 - 8メートルとパキケファロサウルス科では最大級となる。吻端には嘴を持ち、前方の歯は湾曲し牙のような形態になっていた。鼻上には小さな骨質のコブ、後頭部には骨質の小突起があり、頭頂部は厚さ25 - 30センチメートルに達する緻密骨(ちみつこつ)のドームとなっていた。これが学名の由来である。胴体はどっしりとした作り。後肢と比べて短い前肢には5本の指があった。また後肢は長くほっそりとしており、速く走ることができたと推定されている。尾は結合組織で固められており、後方に真っすぐに伸ばされている。走る際はこの尾でバランスを取ったとされる[2]。 頭突きではなく、頭で相手の体を押しているように復元したパキケファロサウルスの骨格標本[3]。国立科学博物館の展示
恐竜(きょうりゅう、英: Dinosaur)は、恐竜類(きょうりゅうるい[1]、学名: Dinosauria)に属する爬虫類の一群である。爬虫綱での分類階級を示す場合は恐竜上目とされる[2]。全長30メートル程ある巨大なものから、数十センチメートル程しかない小型ものまで、様々な属が生息していた[3]。 恐竜の進化に関する正確な起源と時期は不明であるが、2億4330万年から2億3323万年前の三畳紀中期に出現したものが起源とされている。恐竜は2億130万年前に発生した三畳紀〜ジュラ紀間における大量絶滅を生き延び、その後のジュラ紀と白亜紀を通して陸生脊椎動物の頂点に立ったが、白亜紀~新生代古第三紀間における大量絶滅により、鳥類を除くすべての種が絶滅した。なお一部の非鳥類型恐竜がK-Pg境界を乗り越え、続く暁新世の地層から産出した事例も報告されている[4]。ただし異論も多く、2023年現在有力な
デイノケイルス (Deinocheirus) は、中生代白亜紀末期(約7,000万年前)に生存した恐竜。1965年にモンゴル・ゴビ砂漠で全長2.4メートルに達する巨大な両腕の骨格化石のみが発見されて1970年に記載されたが、長らく詳しい事はわかっていなかった。しかし、2013年の古脊椎動物学会で、2006年と2009年に胴体部分が発見されたと発表された[1]。 属名は、ギリシャ語で「恐ろしい手」を意味する[2][3]。ギリシャ語のケイロス(χειρος)は手を意味する単語である。種小名はギリシャ語で「尋常ではない」を意味する。 腕部。ロンドン自然史博物館蔵。 模式種はデイノケイルス・ミリフィクス。 デイノケイルスは紆余曲折あったものの、近年では基盤的なオルニトミモサウルス類(コエルロサウルス類の一群)[1]と考えられている。 なお本種の発見は、ティラノサウルスと並んで獣脚亜目の単純な二分法
Bug fixes! Bug fixes for everyone! BEES! BEEEEEEEES! Changes wt x-save was accidentally turned off in the Preview build, and has been turned on (#17881) The Command Prompt "quick fix" feature was accidentally turned off in the Preview build, and has been turned on (#17888) RIS (ESC c) will now return the color scheme to your preferred default if the application has modified it (#17879) (thanks @j4
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く