『プログラミング言語の基礎概念』第一章の復習と、自分が躓いたところをメモする - Line 1: Error: Invalid Blog('by Esehara' )
近況 神様あなたは 何でも知っていて 心悪しき人を打ち負かすんだろう でも真夏の太陽は 罪を溶かして 見えないが確かに 背中にそれを焼き付ける ―― eastern youth『夏の日の午後』 要旨 今月の最後に『プログラミング言語の基礎概念』第二章の読書会があるので、それに向けて復習をする。意味論を記述するために、最少の推論規則から判断を導くための、導出システムを考える。これらには、ペアノ自然数を利用したりしている。 はじめに こないだ、『プログラミング言語の基礎概念』の第一章の読書会に潜り込んできて、そういえば今月の最後にも第二章の奴が始まるので、せっかく惰性で参加するのだし、惰性で読書メモをとっておくのも、あとで勉強する人にとっては有益なのではないかと思ったので、メモしておく。 本文 最初のひっかかりポイント: n plus Z is nはどうやって導くの? 何らかの判断を形式化する
「最強の大学受験参考書」のラインナップ教える : ライフハックちゃんねる弐式
2015年08月10日 「最強の大学受験参考書」のラインナップ教える Tweet 52コメント ｜2015年08月10日 12:00｜受験｜Editタグ ：参考書 1 ：以下、＼(^o^)／でVIPがお送りします：2015/08/09(日) 16:19:57.120 ID:ZlZm7kNk0.net まずは数学 基礎知識は現代数学社から出てる「大道を行く高校数学」で固めるべき この本は基礎的な知識を大学レベルの目線から解説してる良書 必要であれば高校の範囲を超えた解説も辞さないが、本質的なところから丁寧に説明しているので決して難し過ぎることはない 逆に数学苦手な人がこの本で数学に開眼することだってありうる それくらいの良書 数学の本質的な理解が深まり大学に入ってからも役立つだろう 代数幾何編、確率統計編、解析学編 と三冊のシリーズになってるが是非全部読むことをお勧めする 当ブログサイトはア
レスポンシブデザインとは｜今更きけない基礎知識とメリット・デメリット
この記事は2016年3月27日の記事を再編集しています 多くのホームページに導入されているレスポンシブデザインですが、レスポンシブ化することによってどのようなメリット、またはデメリットが発生するか把握できていますか？ 「Googleが推奨しているから」、「流行しているから」、という単純な理由でレスポンシブデザインを導入するのではなく、長所短所を見極めたうえで、自社のホームページに最適だと判断したうえで利用するのが良いでしょう。 今回は、レスポンシブデザインのメリットとデメリットを解説します。 レスポンシブデザインとは そもそもレスポンシブデザインとは何を指すのでしょう。 Googleは、 ユーザーの デバイス（パソコン、 タブレット、モバイル、非視覚的 ブラウザ）に関係なく、同じ URL で同じ HTML コードを配信しますが、画面サイズに応じて（つまり「レスポンシブ」に）表示を変えること
地味に忘れるソーシャル系やサイトのキーカラーをSassの変数でまとめてみた | 株式会社LIG(リグ)｜DX支援・システム開発・Web制作
どうもですよ、はやちですよ٩( ᐛ )و ここ最近「刀剣乱舞」のキャラクターが揃いつつあり、あと二振りでコンプリートしそうです٩( ᐛ )و＜残りおじいちゃんと明石 だが何百回出陣してもおじいちゃんが来ません。 ください( ˇωˇ )＜おじいちゃんどこ そんなことはどうでもいいですね( ˇωˇ ) ソーシャル系やサイトのキーカラーをうっかり忘れてしまうので、Sassの変数でまとめてみました。ご紹介します( ˇωˇ ) カラーまとめ よく使うソーシャルサイト Facebook
「フジロックの行方」と「すべてのジャンルはマニアが潰す」という話 - 日々の音色とことば
行ってきました。FUJI ROCK FESTIVAL ‘15。 今年は珍しくずっと晴れて、快適に過ごせた３日間。楽しかった。なんのかんの言われつつ、やっぱりフジロックには他のフェスとは違う独特なムードがある。僕は年中いろんなフェスに行ってレポを書くような仕事をしてるんだけど、そういう人間からしても、フジロックにはシンプルに仕事抜きで楽しめる「特別さ」がある。 で、今回はそんなフジロックに関しての話。 個人的なベストアクトは何と言ってもトッド・ラングレン師匠だったし、フーファイもミューズもハドソン・モホークも格好よくて大満足だったんですが、そのへんのことは他サイトのライブレポート原稿に書いたので、そちらを。 www.excite.co.jp ここで書くのは、もうちょっとフェス全体のムードとか方向性とか、「なんのかんの言われつつ〜」という部分についてです。正直「よかった、よかった！」だけじゃな
Web開発に扱いやすいPython、その特徴は？
はじめに 引用元：写真素材 足成 海外では超大手Webサービスも含めて幅広く使われているPythonですが、日本ではまだそこまで普及していません。しかし、世界的に使用が広がっていることからも分かるように、Pythonは高い利便性を誇っています。なぜPythonが支持されるのかを理解し、開発に役立てて下さい。 Pythonの特徴は文法 Pythonの最大の特徴はその文法にあります。Pythonは記号、文字、余白の無駄を最大限省くように作られた言語です。そして、TIMTOWTDI（there’s more than one way to do it – あることをするのにいくつものやり方がある）を信条とするPerlとは対照的に、ひとつのことをするのに基本的にひとつしかやり方がありません。そのため、誰が書いても同じようなコードにこりやすく、また、コードを書いた人ではない人が見ても比較的すぐに内
日本のテクノ史199X テクノはいかに聴かれ、作られ、語られたのか？｜bxjp
このテキストは1990年代の日本のテクノの歴史を史料から辿ったものです。数年前に発売予定だった某音楽書籍に収録されるはずでしたが、結局出ないまま時間が過ぎました。お蔵入りさせるのももったいのでnoteに出してみます。文中で「本書」と言っているのは、その本のことです。「出る予定だったけど出なかった本を読んでるんだな……」という気持ちで読んでください。約2万字です。 見出しだけ先に抜き出します。2000年代以降は言及してません。 ■「日本のテクノ」とは何か ■1988年、テクノとセカンド・サマー・オブ・ラヴの誕生 ■日本におけるDJブームとデトロイト・テクノの輸入 ■メディア上の認知とDELICのテクノ化 ■ハードコア・テクノ旋風とジュリアナTOKYO開店 ■テクノポップ再評価からYMO再生へ ■90年代東京テクノ・シーンの胎動 ■ケン・イシイの登場による国内シーンの活性化 ■電気グルーヴの『
第3回 PyData入門－Pythonでのデータ処理 | gihyo.jp
はじめに 鈴木たかのりです。 前回に引き続きPythonエンジニア養成読本という書籍の読書会イベントについてレポートします。 第3回の読書会は7月23日(木)にアライドアーキテクツ株式会社の会議室で開催されました。 当日はだいたい以下のタイムテーブルで進めました。 19:00-19:15 参加者の自己紹介 19:15-21:00 「第4章 PyData入門」 21:00-22:00 ビアバッシュ（ビールとピザでの参加者懇親会） 今回も過去2回と同様に書籍の読みあわせはせず、ページ数の関係で削ったところや、出版後の追加情報を中心に解説を行いました。 写真1 Pythonエンジニア養成読本読書会03 自己紹介 いつものように参加者全員で自己紹介を行いました。全部で21名の方が参加してくださいました。 自己紹介の中では3回全て参加されている方から「集合知プログラミングのコードがだんだん読めるよ
Gitのオブジェクトモデル(The Git Object Model翻訳)
Git Community Book から、1章2節の The Git Object Model を翻訳。ライセンスは、 GPLv2 。 多くのGit解説本と違い、まずGitの内部モデル解説から入るという、おもしろい構成の本です。人によっては、このほうがわかり易いかもしれません。Gitは差分データを管理していると誤解されることがたまにありますが、それは誤りであるということがこれを読めばわかります。 SHA プロジェクトの履歴を表すのに必要な情報は、いずれも、40桁の「オブジェクト名」で参照されるファイルに格納されている。オブジェクト名は、このような形をしている: 6ff87c4664981e4397625791c8ea3bbb5f2279a3 このような40文字の文字列は、Gitのあらゆる場面で見られる。どの場面で出てくるものであれ、その名前は、オブジェクトの内容のSHA1ハッシュを取るこ
フォント入門I 第一回「フォントの種類、値段」 - 気刊びびび
せっかく書くことがないんだし、フォントのことでも書いていこうと思う。一度に書ききれる量には限界があるので、シリーズ化していきたい。フォントのことは本当に*1よく知らないけど、同人誌とかでフォントを使っていきたいって人向けの記事にしていく予定なので、既にある程度の知識があるよ、モリサワパスポート契約してるよ、写研大好き、という人は何も言わずにタブを閉じよう。本講義ではフォントの基礎的知識を学び、同人誌作成等に必要な理解を得ることを目標としている。評価は出席点による。 第一回の内容は「フォントの種類、値段」です。長いですがお付き合い頂ければ。 フォントっていろんな種類があるの？ 書体を種類分けするときの一番大きな括りは、書体のジャンルでしょうね。「明朝体」「ゴシック体」といったアレです。ジャンルによって見た目のイメージとかが変わってくるので、場面によって使い分けることがほとんどです。以下に代表
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
