ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との
アルゴリズムの勉強のしかた - きしだのHatena
この記事で、アルゴリズムの勉強はアルゴリズムカタログを覚えることじゃないよということを書きました。 プログラムの理論とはなにか アルゴリズムの勉強というのは、スポーツで言えば腕立て伏せや走り込みみたいな基礎体力を養うようなもので、「ソートなんか実際に自分で書くことないだろう」とかいうのは「サッカーは腕つかわないのに腕立ていらないだろう」とか「野球で1kmも走ることなんかないのに長距離の走り込みいらないだろう」とか言うようなものです。 Twitterでアルゴリズムの勉強とはなにかと尋ねられて、「アルゴリズムの基本的なパターンを知って、それらの性質の分析のしかたをしって、いろいろなアルゴリズムでどのように応用されているか知って、自分が組むアルゴリズムの性質を判断できるようになることだと思います。 」と答えたのですが、じゃあ実際どういう本で勉強すればいいか、ぼくの知ってる本からまとめてみました。
Software Design誌の書籍紹介特集で紹介した本がジュンク堂に並んでた - きしだのHatena
Software Design8月号の特集「エンジニアのパワーアップ読書」で、ぼくも本を何冊か紹介させていただきました。 ほかの方もいろいろ興味深い本を紹介されてます。変わったところでは、書籍じゃないけど「ダンベル」がおもしろかったです。 Software Design (ソフトウェア デザイン) 2012年 08月号 [雑誌] 出版社/メーカー: 技術評論社発売日: 2012/07/18メディア: 雑誌購入: 3人 クリック: 28回この商品を含むブログ (6件) を見る で、これ、紹介した本を実際にまとめて展示するという企画がジュンク堂などで行われているという話で、福岡ジュンク堂も開催店舗に入っていたので、見に行ってきました。 【写真追加】Software Design 8月号「エンジニアのパワーアップ読書」特集連動フェアを11書店で実施！：トピックス｜技術評論社 2つの棚にわけて展示
プログラマの実力は経験だけであがらないことがレベル格差につながる - きしだのはてな
プログラマというのは、道具に慣れることが、実力があがることにならないのですよね。だから、勉強せず業務経験だけだとレベルが低いままということになってしまう。 Javaを10年さわり続けて、Strutsを5年さわり続けても、それだけでは、与えられた画面を手際よく作成できるようになるだけで、たとえばStrutsすらよりよく使えるようになるわけではなかったりする。 Javaにしても、「volatileってなんですか？」という問いに、まあ知らないのはしかたないとしても、解説を見ながらですら答えられない可能性がある。 プログラムの反復生産は、プログラミング能力の向上にあまりつながらない。設定や記述に慣れるだけだ。そして、この「慣れ」というのには「難しいからそもそも実装を回避する」というようなものも含まれる。実力の向上は、作業ができるレベルで止まってしまう。 プログラマとしての実力をあげるための勉強が自
油条 - Wikipedia
カットされた油条と粥 おにぎりに包まれる油条 油条を作る女性 油条（ゆじょう、北京語: ヨウティヤオ、広東語: ヤウティウ）は、中国・タイ・ベトナム・台湾・シンガポールの伝統的な麩料理、細長い揚げパンの様子にしている。広東省や福建省では油炸鬼（粤拼: yau4 ja3 gwai2, ヤウザーグァイ）、炸麵（白話字: Chia̍h-mī）、油炸粿（白話字: Iû-chia̍h-koé）とも呼称される。 食塩と重炭酸アンモニウムを水で混ぜたものに、小麦粉（薄力粉）ともち粉を少しずつ加えながらこねて生地を作る。重炭酸アンモニウムの代わりに重曹を使う場合もあるが、発泡が少ないのでパフのような独特の食感を出しにくくなる。 しばらく寝かせた生地をのしてから包丁で 20 - 30 cm ほどの棒状に切って伸ばし、半分に折って高温の油できつね色になるまで揚げる。 いわゆる菓子パンではないので甘くなく、中国
肉骨茶 - Wikipedia
肉骨茶（バックッテー）はマレーシア、シンガポールのスープ料理である。 「肉骨茶」は閩南語の白話字表記では bah-kut-tê に由来するものであり、潮州語の発音は nêg8-gug4-dê5。アルファベット表記では「Bak kut teh」と綴られる[1]。 ぶつ切りの豚あばら肉（皮付き）や内臓肉を、漢方薬に用いる生薬と中国醤油で煮込んだ料理で、一般的には土鍋で供され、白米にスープを掛けながら食べる。刻み生ニンニク・刻み青唐辛子を好みに応じつけたり、スープに入れる。油条（中国式の揚げパン）を切ったものをスープに浸して食べる。Thick Soy Sauceと呼ばれる甘口のどろっとした中国醤油を提供する店が多い。 伝統的なスタイルは豚肉のみとされているが、野菜類、きのこ類、中国湯葉、厚揚げなどが入ったメニューもある。 生薬にはスターアニス（大茴香）、シナモン（桂皮）、クローブ（丁子）、コショ
【楽天市場】輸入ビール、地ビール >父の日ギフトに！コエドビールCOEDO：ワインショップ ドラジェ
ギフト用にも、もちろんご自宅用にも！ 埼玉・川越の誇る地ビールが、日本中のお客様から大変なご好評を頂いております！ ドラジェの地元である埼玉県に、県民の誇りともいうべき素晴らしいビールが誕生、その名も… ●COEDO（小江戸）ビール！ 埼玉県川越市は、蔵造りの美しい町並みが「小江戸」と形容され、古き伝統が今も息づく情緒漂う街です。 そんな「小江戸川越」から発信される素晴らしい作品が、地元川越のビールメーカー・協同商事さんの醸造するCOEDOビール！ 埼玉県民にとっては馴染みのあるビールですが、改めて内容を調べてみれば そのクオリティの高さと、世界の舞台でこんなにも脚光を浴びていた事にビックリ してしまいました！ COEDOは味わい毎のイメージに合わせたカラーラベルも好評で、「JWDA WEBデザインアワード」ではグランプリに輝くなど、中身だけでなくパッケージデザインでも数々の賞を獲得、こう
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
【楽天市場】エラー
エラーが発生しました。 大変申し訳ございません。 こちらのページは削除された、またはURL（ページアドレス）が変更された可能性がございます。 （このページから自動的にショップのトップページへ切り替わります。）
モノを持たない生活について真剣に考えてみた - FutureInsight.info
以下のエントリーを読んで、持たない生活について考えてみた。 うさぎ小屋2.0 : 金融日記 本は電子化され、書類もクラウドの中で、多くの時間をサイバースペースで過ごすならベッドと机とPCがあればいいだけです。 人と会う時はわざわざ自宅に招く必要はなく、都会ならオシャレなカフェがそこら中にあります。 また、自宅で料理する必要もなく、今では電話一本であらゆる国の料理がすぐさまデリバリーされるし、世界一美味しくてリーズナブルなレストランが日本の都市には溢れかえっています。 もちろん車もいりません。 タクシーはいつでも捕まるし、公共の交通機関も高度に発達しています。 自宅にホームシアターなど買わなくても、映画館に行けば最新の設備がいつでも安価に利用可能です。 というのも、マンションへの引っ越しを契機に僕は大量に持っていた漫画、小説を処分した。手元に残したのは参照用の技術書とジャレド・ダイヤモンド「
ひとり暮らし男子の生活を向上させる5つのライフハック - FutureInsight.info
ひとり暮らしをスタートさせる人も多いだろう4月。僕も大学時代一人暮らしをずっと続けてきましたが、これを知っていたらもうちょっとよかったなー、というライフハック的なものを紹介してみたいと思います。 その1: 全自動乾燥機付き洗濯機を購入せよ まず、最初におすすめするのが全自動乾燥機付き洗濯機です。というのも一人暮らしの男子にとって一番面倒なのは洗濯ではなく(洗うのは洗剤突っ込むだけなので簡単なものです)洗った後の洗濯物の乾燥です。週に3回くらい洗濯するとしても洗濯後の20分程度は洗濯物を干す時間に費やされます。これが積もり積もると時間としてもばかにならないし、梅雨の時期や洗濯物がなかなか乾かない冬の時期の煩わしさを考えると、ちょっと奮発してでも全自動乾燥機付き洗濯機を買ったほうがのちのちコストパフォーマンスが良いです。といっても、特に高いのを買う必要はありません。8-9万円くらいでいいのです
ベッドの選び方わかんねえええええ : まめ速
1：以下、名無しにかわりましてVIPがお送りします：2011/11/12(土) 17:37:15.17ID:At4mXUohO 部屋狭いからシングルでなるべく小さいものを買おうとしてるけど、 なにを基準に決めればいいのかわかんない… とりあえず部屋の雰囲気とあうフレームの種類とか？？ 2：以下、名無しにかわりましてVIPがお送りします：2011/11/12(土) 17:40:58.15ID:Lz8UTn2VO 二段ベッドの下があいてるアレ 面積は稼げるよ http://www.google.co.jp/search?q=ロフトベッド 5：以下、名無しにかわりましてVIPがお送りします：2011/11/12(土) 17:42:21.93ID:At4mXUohO 狭い部屋に置いたら圧迫感すごくね？確かに広く使えるけど 10：以下、名無しにかわりましてVIPがお送りします：2011/11/12(
孤独感がデフォルトになった時代 - シロクマの屑籠
第三者からみて孤独そうに見える人が必ず精神的に打たれ弱いかと言うと、そうでもありません。少数ながら、孤独に対する耐性が異様に高い人が存在しますし、第三者からは目に見えにくい繋がりをどこかに持っている人も珍しくありませんから。しかし、本人自身が孤独に悩んでいるような人――つまり孤独感に苛まれている人―――は、必ずといってよいほど精神的に打たれ弱いように見受けられます。 独りぼっちは辛いんですよ。 「自分は独りではない」と感じている人が新しいことに挑戦するのと、孤独感に苛まれている人が新しいことに挑戦するのでは、体感されるストレスが何倍も違ってくるのではないでしょうか。世の人間の大半は、どうやら孤独には弱いようにみえます。「自分は独りぼっちではない」という感覚無しには生きていけないというか。[誰かが自分のことを見てくれている感覚][誰かが自分と一緒にいてくれる感覚]を持っている時なら簡単に我慢
表現規制の問題ではなく、「宣伝手法」の妥当性が問われている−−『まどか☆マギカ』劇場版について - Thirのノート
http://togetter.com/li/386912を見て。 根底としてのコミュニケーション不全 劇場版『魔法少女まどか☆マギカ』において、「子供が見て悲しい思いをした」という件、そこからつながる表現規制問題がTwitterを賑わせている。ただ、Twitterでは、「残虐な描写があるから見せるべきではない／分かるようにすべき」という議論が非常に多い。あるいはそれを超えて、「世の中とは理不尽なものであるから、理不尽な映画／理不尽な映画を見てしまうというシチュエーションも経験すべき」というような精神論まで飛び出す始末である。最初に言っておく。これは表現規制の問題ではない。 「残虐な描写があるから見せるべきではない」という態度は、あくまでも「大人一般が子供一般に対してどのような態度をとるか」という話であろう。そしてこの話は、「この程度では残虐ではない」「少しばかり残虐でも良い」という具体的
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
