今日まで使われるこのダイアグラムは、1877年に出版されたAlonzo Reed と Brainerd Kellogg 1877. Higher Lessons in English（→Gutenbergで読める）に登場するものだが、1847年には早くもW. S. ClarkがA Practical Grammarの中でバルーン・メソッドと呼んだ類似の方法が提案されている。 特徴としては、 ・我々が親しんできた伝統文法を活用でき、 ・文の内容において、主なもの／従うものの階層付けがはっきりしており、 ・文ごとに個性的で印象の強いダイアグラムが生成される 利用法としては、出来上がったダイアグラムを見てどうこうするというより、ダイアグラムをつくるプロセス（シンプルなところから始めて要素を追加していくところ）にトレーニングとしての主眼はある。 以上から、今でも米の教育現場ではしぶとい人気がある。
Tokyo, Japan - December 24, 2015: The University of Tokyo's main auditorium. Yasuda Auditorium is well-known symbol of higher education in Japan.
はじめに こんにちは、動画配信界の情弱です。年始からStackOverflow眺めてたら超絶便利な質問に神回答がされてたので忘れないうちにメモっておく。2012年どっかで役に立てばいいですね。 参考 オリジナルはこちら。ここではコメントにパラパラと載ってたので、まずは直近1ページ目だけにあったものを1個のリストにまとめてみた。ほぼGeorge Stocker氏による回答を載せただけだけど。あとちょっとだけ自分で和訳とか加えたので、知っているものがあればコメントに載せて下さい。追加します。まだDとかFactorとか載ってないし、Pythonも全然足りないし。 API Only - Stack Exchange もしかするとバージョンが古かったりするものもあるかも知れませんが、それもコメントで教えてもらえるとその旨追記します。 他にも過去に挙がったもののリンク ReadWriteWebのプログ
223Soft -
Document Data Structure in MongoDB Express MongoDB lets you easily store structured and unstructured data in a flexible and dynamic database schema. It supports CRUD operations on complex data objects using JSON as the main data type. Its an open source solution so it may not be as robust or well supported as commercial management tools. However it is easy to deploy and works well for most use cas
今回取り上げるのは、フィナンシャル・タイムズからの「死者数は報告されているよりも60%高い可能性がある」というレポートです。 Global coronavirus death toll could be 60% higher than reported | Free to read ここで、本論に入る前に、少し前置きです。 アウトブレイクが現在進行形で起きているときに、異なる国での政策の良し悪しを議論するのに使える、信頼できる統計データとは何でしょうか？ 感染者数は、検査の性能・件数・方針などに強く依存するため、もっとも信頼性の低い指標です。一方、死亡者数は、相対的には信頼できる指標ですが、検査を受けないままに死亡してしまったケースについてはアンダーレポート（過小報告）となります。 特にいったん医療崩壊を起こしてしまうとあらゆる報告が追いつかなくなり、感染者数も死亡者数もきちんと管理できな
How browsers work Stay organized with collections Save and categorize content based on your preferences. Preface This comprehensive primer on the internal operations of WebKit and Gecko is the result of much research done by Israeli developer Tali Garsiel. Over a few years, she reviewed all the published data about browser internals and spent a lot of time reading web browser source code. She wrot
第二次世界大戦時のCIAの秘密資料。題してSimple Sabotage Field Manual。要は、敵国内のスパイが、組織の生産性を落とすためにどのような「サボり」ができるか、という「サボり方ガイド」である。2008年に公開された。（なお、正確に言うと、CIAの前身組織、Office of Strategic Servicesの作成文書である。） 以下、一部を抜粋した意訳です。本文は意訳の後に。 「注意深さ」を促す。スピーディーに物事を進めると先々問題が発生するので賢明な判断をすべき、と「道理をわきまえた人」の振りをする 可能な限り案件は委員会で検討。委員会はなるべく大きくすることとする。最低でも5人以上 何事も指揮命令系統を厳格に守る。意思決定を早めるための「抜け道」を決して許さない 会社内での組織的位置付けにこだわる。これからしようとすることが、本当にその組織の権限内なのか、より
home blog labs about contact プログラミング・開発 > プログラマでも出来るWebデザイン (X)HTML CSS テンプレート デザイン 画像 作成： 2007-01-08T01:58:41+09:00 更新： 2009-04-29T09:48:31+09:00 年始早々に大幅リニューアルした当ブログですが、リニューアルのお知らせでも書いた通り、 今回のデザインリニューアルに当たっての作成過程や、使ったツールを書いていきます。 デザインセンスの無い私にとって、今回のリニューアルは良く出来たと自負しているので、 お題はプログラマでも出来るWebデザイン。 前提として、CSSでコーディングが出来て、ある程度HTMLは設計出来る、でもデザインは・・・orz な人を対象にしています。 使用したツール・サイト一覧 作成過程は後半に書くとして、今回使用したサイト・ツールで
Getting Started with Headless Chrome | Blog | Chrome for Developers
TL;DR Headless Chrome is shipping in Chrome 59. It's a way to run the Chrome browser in a headless environment. Essentially, running Chrome without chrome! It brings all modern web platform features provided by Chromium and the Blink rendering engine to the command line. Why is that useful? A headless browser is a great tool for automated testing and server environments where you don't need a visi
960 Grid System Download - CSS, sketch paper, and templates for: Acorn, Fireworks, Flash, InDesign, GIMP, Inkscape, Illustrator, OmniGraffle, Photoshop, QuarkXPress, Visio, Exp Design. Repository at GitHub. Essence The 960 Grid System is an effort to streamline web development workflow by providing commonly used dimensions, based on a width of 960 pixels. There are two variants: 12 and 16 columns,
ディープラーニングは特定分野で非常に高い精度が出せることもあり、その応用範囲はどんどん広がっています。 しかし、そんなディープラーニングにも弱点はあります。その中でも大きい問題点が、「何を根拠に判断しているかよくわからない」ということです。 ディープラーニングは、学習の過程でデータ内の特徴それ自体を学習するのが得意という特性があります。これにより「人が特徴を抽出する必要がない」と言われたりもしますが、逆に言えばどんな特徴を抽出するかはネットワーク任せということです。抽出された特徴はその名の通りディープなネットワークの中の重みに潜在しており、そこから学習された「何か」を人間が理解可能な形で取り出すというのは至難の業です。 例題：このネットワークが何を根拠に猫を猫として判断しているか、ネットワークの重みを可視化した上図から答えよ(制限時間:3分) image from CS231n Visua
私はシェルスクリプトの大ファンで、他人のスクリプトから面白い方法を学ぶのが大好きだ。最近、SSHサーバの2要素認証を簡単にするためのauthy-sshスクリプトに出会った。このスクリプト群を見まわしていて、みんなと共有したいたくさんのクールなことを見つけた。 出力に色付けする 出力文字列を、成功した時は緑に、失敗した時は赤に、警告は黄色に色づけしたいと思うことはたくさんあるだろう。 NORMAL=$(tput sgr0) GREEN=$(tput setaf 2; tput bold) YELLOW=$(tput setaf 3) RED=$(tput setaf 1) function red() { echo -e "$RED$*$NORMAL" } function green() { echo -e "$GREEN$*$NORMAL" } function yellow() { e
ファンク・ギターとはなにか。 僕は学部生のころ、ブラック・ミュージックを専門に演奏するサークルに所属していた。 ファンク・ギタリストとして4年間活動し、改めて思うことがある。 「ファンク・ギターってなんだ？」 折しも分析哲学という「言葉遣いや概念の定義を扱う学問」に携わっている身として、この問題を一身に引き受けようと思った次第。 それから数日、メインで研究している作者性だとかサブで研究しているVaporwaveを放り投げ、驚天動地の熱意でもって書きあげたのが本稿である。*1 私見を言わせてもらえば、ファンク・ギターとはベースやドラムやホーンよりもずっとずっとずっと過小評価されているジャンルである。キーボードよりは幾分マシだ。 過小評価でなければ、こう言ってもよいが、だいぶ誤解されているジャンルでもある。あとで後述することになるが、カッティングひとつ取っても、その奏法の本質はだいぶ勘違いされ
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
5000兆円欲しい！.css
About HTML Preprocessors HTML preprocessors can make writing HTML more powerful or convenient. For instance, Markdown is designed to be easier to write and read for text documents and you could write a loop in Pug. Learn more · Versions Adding Classes In CodePen, whatever you write in the HTML editor is what goes within the <body> tags in a basic HTML5 template. So you don't have access to higher-
// Good: choose between two options as appropriate (see below). import * as ng from '@angular/core'; import {Foo} from './foo'; // Only when needed: default imports. import Button from 'Button'; // Sometimes needed to import libraries for their side effects: import 'jasmine'; import '@polymer/paper-button'; Import paths TypeScript code must use paths to import other TypeScript code. Paths may be r
Everystockphoto.com
Free Stock Photos Unleashed: Explore, Share & Delight in Exceptional Images! If you’re looking for high-quality images to use in your marketing campaigns or social media posts, then you’ve come to the right place. In this article, we’ll be discussing free stock photo sites that offer a wide range of curated collections with usage rights that allow you to use them for commercial purposes without an
［積み上がるアップルのキャッシュ：asymco］ アップルが大量の現金資産を保有していることはよく知られている。 質の高い Q&A サイトとして注目を浴びている Quora が注目すべき解説をしている。アップルがこのキャッシュを実に戦略的に使っているというのだ。 Quora: “What would make sense for Apple to use its $51+ billion in cash for a strategic acquisition?” by Anon User: 01 July 2011 ＊ ＊ ＊ 戦略的買収はどうか？ 問： 510 億ドルのキャッシュをアップルが戦略的買収に使ってはどうか？ What would make sense for Apple to use its $51+ billion in cash for a strateg
超一流刑事弁護人に学ぶ、11の上手な｢教え方｣まとめ 【刑事弁護実務の講義ノート付き】 - 弁護士兼務取締役の独り言
このたび、後藤貞人弁護士(大阪弁護士会)･神山啓史弁護士(第二東京弁護士会)･遠山大輔弁護士(京都弁護士会)･陳愛弁護士(大阪弁護士会)という日本屈指の刑事弁護人のもとで刑事弁護実務の基本を学ぶ機会をいただきました。 後藤貞人弁護士は｢後藤先生で無罪判決取れなかったら仕方ない｣と他の弁護士に言わしめるほどのプロ中のプロです。陳愛弁護士は後藤貞人法律事務所で一緒に刑事弁護をしておられます。神山啓史弁護士は足利事件(無罪確定)等の著名な再審請求にたずさわっておられます。遠山大輔弁護士は、Winny事件や舞鶴女子高生殺害事件を担当されました。 このような大阪･京都･東京のトップクラスの刑事弁護人に直接刑事弁護を教えてもらえる機会はなかなかないと思います。 5日間の集中講義(90分×14コマ)でしたが、逮捕直後から最終弁論まで、刑事弁護の基本を徹底的に叩きこんでいただきました。その内容をiPadで
こういうツイートが話題になっていた。千葉県佐倉市のSound Stream sakuraというライブハウスのようだ。 田舎のライブハウスがコロナ禍で配信ライブにめちゃめちゃ力を入れたら全世界上位1%に入って200万円請求された話。 pic.twitter.com/m159xVtzuU— Sound Stream sakura/サンスト@Go To 21st Anniversary‼︎ (@sound_sakura) December 6, 2021 要約すると、Vimeoから突然200万円請求され支払わざるを得なくなったということだ。 この文面だけ見ると、『なんていう酷いサービスなんだ、許せない！』と感じてしまうだろう。 しかしこれはフェアではない。自分の視点から見ると、Vimeo側に非は殆ど無く、むしろこのツイート主が宣伝目的で炎上させているように感じる。 何故そう言い切れるかというと、
新型コロナウイルスのパンデミックによって多くの業界が痛手を受ける中、技術や資格を身に付けて転職を考える人もいるはず。そんな中でGoogleが、人々が新しいスキルを身に付けて経済的安定を確保することを支援するため、「Google Career Certificates」というオンラインの職業訓練プログラムをスタートすると発表しました。 Professional Certificate Training Programs - Grow with Google https://grow.google/certificates/ A digital jobs program to help America's economic recovery https://blog.google/outreach-initiatives/grow-with-google/digital-jobs-progra
本の虫: Linus、今までの行いを謝罪し一時的にカーネルメンテナーの立場を退いて人の気持ちを勉強してくると発言
Linus、今までの行いを謝罪し一時的にカーネルメンテナーの立場を退いて人の気持ちを勉強してくると発言 完全に背景事情を調べ上げたわけではないのだが、どうもLinusが毎年参加しているLinuxカーネルの会議に、Linusがスケジュールを間違えて参加できなくなるという事態が発生した。当のLinus本人はもう20年も続いている会議だし自分がいなくてもやっていけるだろうと楽観視していたが、会議自体がLinusの都合にあわせてリスケジュールされた。 LinuxにおいてLinus Torvaldsといえば第一人者であり極めて重要な存在で、そのLinusが毎年参加している重要な会議にLinusが参加できないとあれば、その他のあらゆるコストを度外視して根回し調整を行い、Linusが参加できるようにイベント全体のリスケジュールを行うのは人間の感情から考えて当然である。しかし当のLinus本人は他人の感情
タブレット端末を使って学習する試みが世界中で行われていますが、このような「未来」を40年以上も前に自身が提唱する「Dynabook構想」で予言していたのが「パーソナルコンピューティングの父」と呼ばれるアラン・ケイ氏です。そんな類まれな慧眼の持ち主であるケイ氏にソフトウェア会社Naked Objects Groupのリチャード・ポーソン代表が数年かけて「推奨本を教えて欲しい」と懇願し続けた結果、5000冊以上貯蔵する愛読書の中からケイ氏が書籍を厳選して「初心者向け読書リスト」を作成してくれたとのこと。コンピュータ分野に限らず、心理学・政治・哲学・アートと多岐に渡るケイ氏のお薦め書籍は以下の通りです。 Alan Kays Reading List http://c2.com/cgi/wiki?AlanKaysReadingList ◆TECHNOLOGY＆MEDIA(技術・メディア) ・01：
Pokemon Go is still fun even years after its launch. Here are the best Pokemon Go tips and tricks to get more out of the game. Readers like you help support MUO. When you make a purchase using links on our site, we may earn an affiliate commission. Read More. Pokemon Go still entices players years after its launch. But even if you're familiar with the hit game, there's always more to learn. With t
最近「下手な大卒より高卒のほうが雇用市場で人気がある」という記事が出ていた1。この現象について、ある𝕏erは「日本は高卒で得られる程度の知識で足りるような産業しかなくなったということなんでしょうね。日本、終わっている」と日本特有の現象としている。 「大卒＝負け組」の時代到来!? 超売り手市場で「高卒就職者」の需要が急増！ https://t.co/qYzQoPqi5k 「下手に知恵を付けている大卒者より、高卒者の方が伸びしろが期待できる」もはや日本は高卒で得られる程度の知識で足りるような産業しかなくなったということなんでしょうね。日本、終わっている — 田口善弘 (@Yh_Taguchi) July 23, 2023 しかしながら、「下手な大卒より高卒のほうが所得が高くなる」という話は、実はアメリカでも同じような現象が見られ、日本に限った話ではない。むしろ、アメリカでずっと言われていた現
For significantly better and customizable anime image generation, check out Holara AI Creativity Slider 0.5 Higher creativity values tell the AI to be more creative and detailed, but also messy and weird Speed Slider 1.5 Space: pause grid, Drag: pan grid, Click: open image in new tab F: fullscreen mode, Z: toggle zoom on hover, V: video mode You can find updates about anime and AI on Twi
Daft Punk 〜 トーマ・バンガルデルがいなかったら今の自分もいない。それくらい感謝しています。 ぼくはDaft Punkの熱心なファンではありませんでした。もちろん嫌いじゃありませんでしたが熱狂するほどはのめり込めなかった。 なぜならDaft Punkはオリジネイターというよりは元ネタからの引用がとても上手な「うまいことやる人達」という印象が強かったから。1stから2ndにかけてはああなるほどとは思いつつも熱心には聴いてなかったしもちろん影響も受けませんでした。 80年代の終わり頃からシンセサイザーやリズムマシン、サンプラーをシーケンサーで稼働させるいわゆる「打ち込み」を10年間延々とやり続けてアーティスト活動も辞めて編曲家に転身しつつあった90年代の終わり〜2000年代の頭にかけて、突然シンセサイザーに飽きた時期がありました。 ちょうどその頃浜崎あゆみ女史チームからお声かけいただ
1 ：名無しさん＠お腹いっぱい。：2007/10/19(金) 18:22:23 ID:4/2edmUq エレクトロニカって何なのか説明できるやついる？ 誰か説明してくれ 149 ：名無しさん＠お腹いっぱい。：2010/03/08(月) 13:58:18 ID:k87SzSUL ピコピコしたやつ 21 ：名無しさん＠お腹いっぱい。投稿日：2007/03/07(水) 19:42:43 ID:gYIj7mJ0 電子でピコピコを勝手に想像してるんだけど 22 ：名無しさん＠お腹いっぱい。投稿日：2007/03/07(水) 19:48:47 ID:vtAgWe9T >>21 そんな感じ 25 ：名無しさん＠お腹いっぱい。投稿日：2007/03/08(木) 05:20:27 ID:9h7pzriq >21 ピコピコというよりキンキンだな 27 ：名無しさん＠お腹いっぱい。投稿日：2007/03
先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただし、特に大学院で重要となる論文を読み書きすることについては本稿には含めておりません。それらについては論文読みの日課についてや論文の書き方などを参考にしてください。 joisino.hatenablog.com 凡例：（半端）とは、数章だけ読んだ場合か、最後まで読んだものの理解が浅く、今となっては薄ぼんやりとしか覚えていないことを指します。☆は特におすすめなことを表します。 学部一年 寺田 文行『線形代数 増訂版』 黒田 成俊『微分積分』 河野 敬雄『確率概論』 東京大学教養学部統計学教室『統計学
DHHの"TDD is dead. Long live testing."を、訳してみました。 翻訳 やっとむ By David Heinemeier Hansson on April 23, 2014 著 David Heinemeier Hansson 2014年4月23日 Test-first fundamentalism is like abstinence-only sex ed: An unrealistic, ineffective morality campaign for self-loathing and shaming. テストファースト原理主義は禁欲のみを唱えた性教育のようなものだ。つまり、自己嫌悪に陥っている人に向けた、非現実的で効果のない、道徳教育のようなものだ。 It didn't start out like that. When I first disco
マインドマップを使うと急に思考力が高まる。でもそれはなぜ？
どんな道具も、それを利用する人のリーチを伸ばしてくれます。はさみが綺麗に紙を切る能力を、ものさしが美しい直線を描く能力を与えてくれるように、マインドマップは思考の届く範囲を伸ばしてくれるのです。 でも「マインドマップの正しい描き方」にとらわれていて、その効果を感じられないという人も多いのではないかと少し心配になるくらい、マインドマップに関しては「描き方」「作法」といった導入に関する話題が先行するのが気になっています。 そんな折、ライフハックブログKo’s Style のコウスケさん率いる「名古屋マインドマップ普及会」が「マインドマップ超活用術」という電子書籍を発表されています。こちらをご覧になれば、マインドマップに関するいろいろなヒントが得られるのではないかと思います。 名古屋は私の古巣ですので頼もしいことこの上ありません。 マインドマップは論理マップではない 最初に注意なのですが、「マイ
Typetalk チームフロントエンドエンジニアの岡藤（@johnykei）です。先日 Typetalk Webサイトリニューアルに伴い、フロントエンドの技術を jQuery から React + styled-components に刷新しました。本記事では、React を用いた Web サイト制作についてお伝えします。 はじめに タイトルにもあるように、僕は今まで JavaScript を書く必要がある時は使い慣れた jQuery を使っていました。 フロントエンドエンジニアという肩書きではありますが、フロントエンドエンジニアという職種は幅広く、僕はどちらかというとページやUIのスタイリングが主な業務で、普段 JavaScript を書く頻度もそんなに高くありませんでした。 最近海外ではそのような業種の人をフロントエンドデザイナーと呼ぶ動きも出てきていますが、jQuery しか使ってい
The Google Puzzle
We recommend using Google Chrome (download here). ◇ Windows XP 32bit/Vista 32bit/Vista 64bit/7 32bit/7 64bit -Google Chrome (recommended) -Internet Explorer 9+ -Mozilla Firefox 5+ ◇ Mac OSX 10.5.8+ -Google Chrome (recommended) -Safari 5+ -Mozilla Firefox 5+ ■The start button does not work The Google Puzzle uses JavaScript. Turn the JavaScript settings ON in Preferences. ■Taking a break The game hi
Google 会社情報: Google の理念
We first wrote these “10 things” when Google was just a few years old. From time to time we revisit this list to see if it still holds true. We hope it does—and you can hold us to that. 1. Focus on the user and all else will follow. Since the beginning, we’ve focused on providing the best user experience possible. Whether we’re designing a new internet browser or a new tweak to the look of the hom
matayoshi.org
Step into the world of Matayoshi, where its philosophy and principles are deeply rooted in wisdom and tradition. Like a gentle breeze that stirs the soul, Matayoshi’s core values beckon you to explore a path of honesty, discipline, respect, and continuous growth. This article delves into the origins of Matayoshi philosophy, revealing its unwavering commitment to integrity and self-control. As you
プログラミング言語の文法をまとめた最速基礎文法マスターが流行っていますが、それだけだと物足りないので少し視点を変えてJavaScriptという言語の基礎となっている概念について簡単にまとめてみようと思います。(基礎文法についてはこちらを参照してください) (20010/2/4 記述ミス Typoなどを修正しました) JavaScriptの基本概念 JavaScriptの基本となる概念は次の二つです。 連鎖指向 全てがオブジェクト 連鎖指向はプロトタイプチェーンやクロージャ、全てがオブジェクトであるという性質は連想配列やプリミティブ型などの性質に関わってきます。 連鎖指向 JavaScriptでは変数、オブジェクト、メソッドなどのリソースの利用において鎖のようにリソースを定義や宣言できるポイントが連なり、一番近くの宣言や定義に基づいてリソースの内容が決定される、という仕組みが採用されています
Bing検索の裏側―BitFunnelのアルゴリズム - Hatena Developer Blog
はてなアプリケーションエンジニアの id:takuya-a です。 この記事では、Microsoft の検索エンジン Bing で採用された BitFunnel アルゴリズムを紹介します。 昨年のエンジニアアドベントカレンダーでは、文字列検索のアルゴリズム全般について紹介しました（文字列アルゴリズムの学びかた - Hatena Developer Blog）。今年はそのなかでも、インデックス（索引）を使った全文検索アルゴリズムについてのお話になります。 この記事の前半は全文検索の入門にもなっていますので、検索技術になじみがない方にも楽しんでいただけるのではないでしょうか。 逆に、「そんなのもう知ってるよ！」という方は、本題である「BitFunnel アルゴリズムの詳細」から目を通していただければと思います。 この記事は、はてなエンジニア Advent Calendar 2017の21日目の
弊社に関する提訴およびその報道について ｜ ビ・ハイア株式会社 アニメゲームマンガ専門の求人サイト運営 営業サポートサービス
本日2018年10月17日、弊社の業務委託先であった 大山莉加氏の親御様、同じく元業務委託先であった大下周平氏、桜井悠太氏が弊社に対して民事訴訟を提訴した旨の報道がなされています。残念ながら、弊社にはまだ訴状が送達されておらず、ネット報道の範囲でしか事実を把握しておりません。 その範囲で、以下を申し上げます。 大山氏の自死が弊社および代表取締役である清水に原因があるかのような記載が訴状にあると知りました。また、そうした旨を伝える報道もいくつか見ています。 しかし、こうした主張や記述は、事実とはまったくかけ離れた虚偽であることを強く申し上げたいと思います。 大山氏がご逝去される直前、御本人が書いた文面が清水はじめ親御様に届きました。そこには、同氏の決断が個人的な原因および理由によるものであり、弊社の業務とは無関係であることが明記されていました。それがご故人の遺された尊いものであること、また、
div.tucked-corners { background: #f6f6f6; height: 380px; margin: 50px auto; padding: 10px; position: relative; width: 580px; -webkit-box-shadow: 0 1px 7px hsla(0,0%,0%,.2); -moz-box-shadow: 0 1px 7px hsla(0,0%,0%,.2); box-shadow: 0 1px 7px hsla(0,0%,0%,.2); } ...詳細はリンク先を参照 /* Sticky Footer Solution by Steve Hatcher http://stever.ca http://www.cssstickyfooter.com */ * {margin:0;padding:0;} /* must
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アメリカの小学生が文の構造を見える化し英語文法を血肉化するのに使っている図の描き方
東大卒業式の式辞が深いと話題に「善意のコピペや無自覚なリツイートは......」（全文）
無料で見られるプログラミング関連書籍一覧 - YAMAGUCHI::weblog
国際比較に使える唯一の指標「超過死亡」で明らかになる実態 - 新型コロナウイルス情報室 - Quora
ブラウザのしくみ: 最新ウェブブラウザの内部構造 - HTML5 Rocks
CIAのスパイマニュアルに学ぶ「会社をダメにする11の行動様式」
プログラマでも出来るWebデザイン - Blog.37to.net
960 Grid System
ディープラーニングの判断根拠を理解する手法 - Qiita
私が他人のシェルスクリプトから学んだこと | Yakst
ファンク・ギターの50年：人物、歴史、スタイル - obakeweb
Google TypeScript Style Guide
アップルが他社に先駆けて新製品をつぎつぎと投入できる秘密、または他社がなかなか追いつけない秘密
Vimeoで200万円請求話はミスリードなので騙されない方が良い - Cloud Penguins
Googleがわずか6カ月で修了可能＆学費が安価な高成長分野向けのオンライン職業訓練プログラムを発表
「パーソナルコンピューティングの父」アラン・ケイ氏が薦める「読書リスト」99選
10 Pokemon Go Tips and Tricks Everyone Should Know
メモ - 高卒が大卒の所得を上回る——文系大卒のレッドオーシャン化
This Anime Does Not Exist
Daft Punkは何故解散しなければいけなかったのか〜ぼくなりの考察｜CMJK
「エレクトロニカって何か説明できる？」 お薦めのエレクトロニカを教えて- 2ch世界ニュース (ﾟ∀ﾟ )！
大学で読んだ情報科学関連の教科書 - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
TDDは死んだ。テスティングよ栄えよ。 by DHH | 2014-04-24 - やっとむでぽん
jQueryを卒業したかった僕がReact StaticでReactをイチから学んでWebサイトを作った話 | 株式会社ヌーラボ(Nulab inc.)
JavaScript基本概念最速マスター - TechTalkManiacs
これは便利！コピペで使える実用的なCSSテクニックいろいろ
オンラインで入手できる数理論理学・数学基礎論のテキスト