計算機プログラムの構造と解釈 第二版
[ 目次, 前節, 次節, 索引 ] 目次 目次 序文 第二版への前文 第一版への前文 謝辞 1 手続きによる抽象の構築 1.1 プログラムの要素 1.1.1 式 1.1.2 名前と環境 1.1.3 組合せの評価 1.1.4 合成手続き 1.1.5 手続き作用の置換えモデル 1.1.6 条件式と述語 1.1.7 例: Newton法による平方根 1.1.8 ブラックボックス抽象としての手続き 1.2 手続きとその生成するプロセス 1.2.1 線形再帰と反復 1.2.2 木構造再帰 1.2.3 増加の程度 1.2.4 べき乗 1.2.5 最大公約数 1.2.6 例: 素数性のテスト 1.3 高階手続きによる抽象 1.3.1 引数としての手続き 1.3.2 lambdaを使う手続きの構築 1.3.3 一般的方法としての手続き 1.3.4 値として返される手続き 2 データ
[翻訳] Python の静的型、すごい mypy! - Qiita
本稿は 2016年10月13日 (木) に Tim Abbott 氏によって書かれた記事の翻訳です。 Static types in Python, oh my(py)! https://news.ycombinator.com/item?id=12703008 免責事項/Disclaimer 本稿は 非公式 の翻訳記事です (著者の Tim Abbott 氏に翻訳を公開することの確認は取っています) 。本稿の内容に関して Tim Abbott 氏と Dropbox 社は一切の責任を負いません。 誤訳などありましたら私宛に編集リクエストを送って頂けると助かります。 謝辞 @takada-at に誤訳の指摘をコメントで頂きました @shimizukawa から誤訳修正の編集リクエストを頂きました @cocoatomo は全体を通して誤訳修正、より分りやすい日本語の表現にしてくれました 私の拙
![[翻訳] Python の静的型、すごい mypy! - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/44f54dd3af76a4d019b8b8c5f66d36fb551ec862/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JTVCJUU3JUJGJUJCJUU4JUE4JUIzJTVEJTIwUHl0aG9uJTIwJUUzJTgxJUFFJUU5JTlEJTk5JUU3JTlBJTg0JUU1JTlFJThCJUUzJTgwJTgxJUUzJTgxJTk5JUUzJTgxJTk0JUUzJTgxJTg0JTIwbXlweSUyMSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9MThhZTVkZGI4YTk0MmFiN2E2ZGUzMWI3ZDBmMWViZTg%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDB0MnkmdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTIwYWMxYTI2M2ZlOTJjZTE1NDhiMTZiMmI4ZjYwNmFk%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D4233fb6b873a588723c9b79a1ca69280)
CSSになり損ねた言語たち | POSTD
TeXやMicrosoft Word、あるいはその他の汎用的なテキスト処理環境では簡単に実現できるような見た目に自分の文書を似せようと頑張る（文字どおり）無数の人たちに対して、 “悪いけど、うまくいかないよ” と繰り返し言い続けるのは、実際のところ、この1年間、私にとっては継続的な楽しみだった。- Marc Andreessen 1994年 Tim Berners-LeeによってHTMLが発表された1991年には、ページのスタイルを設定する方法はありませんでした。HTMLタグがどのように処理されるかはブラウザ次第で、多くの場合、ユーザの恣意的な入力が大きく影響しました。そうした事情から、ページがどのようなスタイルで処理されるかを”提案”するような標準的な方法を求める声が上がるようになりました。 しかし、CSSが導入されるのは5年先で、完全に実用化されるには10年の歳月を待たねばなりません。
ssh 越しにクリップボード共有したり URL 開いたりする lemonade の便利設定 - 永遠に未完成
私は普段は Windows マシンから自宅サーバの Linux に ssh で接続して作業しており、端末内で作業が完結している間はいいのだけど、Web ブラウザはローカル側なので、URL を開いたりクリップボードのやりとりなどが面倒。 そこで便利なのが lemonade! GitHub - lemonade-command/lemonade: Lemonade is a remote utility tool. (copy, paste and open browser) over TCP. ssh 越しから URL を飛ばしてローカルでブラウザを開いたり、リモート側からローカルのクリップボードの読み書きができる。便利。 lemonade を使う上であれこれやったのでメモ。 port forwarding lemonade 作者の pocke さんはローカルマシン内で動いている仮想環境との
【無料配布】ハロウィンなので「いらすとや」の仮装をしてフリー素材になってみた！｜ホワイティ悪魔街 呪われた仮面舞踏会からの招待状
こんにちは！ 株式会社人間の社領エミです。 もうすぐハロウィンですね。 みなさん、今年のハロウィンはどんな仮装をする予定ですか？ 私は絶対に、目立てる仮装がしたいです。 毎年都心では数万人規模が集まる超特大イベント、ハロウィン。 せっかく仮装するのに、誰からも注目されないなんてもったいないですよね！ どうせなら、写メられまくりで話しかけられまくりの、めちゃくちゃちやほやされる仮装がした〜い！ ということで、ネットオタクな私が考えました！ 誰でも知ってるのにまだ誰もやってない！ 絶対に写メられ、ちやほやされて、 話題になるハロウィン仮装〜〜！ それがこちら！ 「いらすとや」は、無料イラスト素材集サイト。 イラストの配布数、なんと数千点！ 可愛らしいタッチと膨大なバリエーションで、 もはや広告・Webサイトにおいては見ない日はないほど使用されている、 超！ 大人気のサイトです！ いらすとやさん
IPA 独立行政法人 情報処理推進機構：国家資格「情報処理安全確保支援士」
サイバー攻撃の増加・高度化に加え、社会的なIT依存度の高まりから、サイバー攻撃による社会的脅威が急速に増大しています。すなわちサイバーセキュリティ対策は、経営リスクとして、そして社会的責任として、非常に重要な課題になりつつあり、その責任を担える人材の確保が急務となっています。この人材の確保のために2016年10月に「情報処理の促進に関する法律」が改正され、新たな国家資格が誕生しました。これが「情報処理安全確保支援士（略称：登録セキスペ）」です。 本ページでは、「情報処理安全確保支援士（登録セキスペ）」制度に関する情報を掲載しています。ぜひご覧ください。 情報処理安全確保支援士 新規登録・更新のご案内 2024年7月4日～2024年8月15日に「国家資格『情報処理安全確保支援士』がわかる！説明会」を実施します。 国家資格「情報処理安全確保支援士」がわかる！説明会(2024年7月4日～8月15
金が無尽蔵にあったら何をするかを考える
という認知行動療法のワークがあるらしい。人生の目標を見つけるための課題なんだとか。 確かにプロ野球選手になりたい子どもは、お金のために選手になりたいわけじゃないだろう。 大人になると、どうしてもお金の心配が先に立って、そもそも何をしたいのかを考えるのをやめてしまう。 そうこうしているうちに、人生の目的を見失ってメンタルがやられてしまうわけだ。 そこで金が無尽蔵にあったら何をしたいかを考えてみる。言うなれば妄想だ。妄想。 妄想してみると、最初は高級品を買い占めるとか、そういう方向にしか意識が行かないんだけれども、 頑張って妄想し続けてみると、例えば人によっては、お金を使って人助けをしたいとか、 とある研究分野に投資して人類の生活を一変させたいとか、色んなことを思いつき始める。 実はそういう部分こそが、人生の目標のヒントになるような事柄なんだってさ。 中国の故事にも似たような話がある。 都会で
急死のプレイメイト、死因はカイロプラクティックだった （女性自身） - Yahoo!ニュース
今年2月に米『PLAYBOY』誌のモデル、ケイティ・メイ（34）が、何の前触れもなく脳卒中を起こし、その数日後に死亡した。その原因がようやく明らかになった。 ロサンゼルス郡検視局によると、彼女は亡くなる数日前、首にカイロプラクティックの施術を受けていた。指圧療法士が首を曲げた際、左の椎骨動脈が裂けてしまったという。椎骨動脈は、首の左右に二本通る動脈で、脳に血液を送るという重要な役割を担っている。この動脈が傷つけられたことで血流が妨げられ、脳卒中を起こしたことが直接の死因となった。 メイは1月30日に「撮影中に首をひねってしまって、今朝調整してもらったの。すっごく痛い！ 他に家でできる治療法を知らない？」とツイートしている。ファンからは「温かい湿布をして横になって」「リラックスしてNetflixを見る！ これに限るよ」といったアドバイスが寄せられ、メイは律儀に「ありがとう！ やってみる」
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Serverless Architecture