古さは感じない 読んでいて、特に古いと感じる部分はありませんでした。強いて言うなら今のマシンでは一瞬で終わる8クイーン問題が実行に非常に時間がかかると書いてあった箇所があったことくらいでしょうか。全体的に、今でも役立つ内容だと思います。 (追記: 4. の最後に追記しましたが、現代のScheme処理系Racketだともっとモダンに書き換えられる箇所が多いそうです。) 3. ところどころ非常に難しい 2. 5, 4. 3, 4. 4, 5章が非常に難しいです。 2. 5. 『計算機プログラムの構造と解釈』｜感想・レビュー - 読書メーター. 2と4. 3は本文を理解するのにも問題を解くのにもものすごく時間と労力がかかりました。 2. 3はだいたいの人がスキップしていて、スキップせず解いてる人がめちゃくちゃ苦しんでいたので便乗してスキップしました。 4. 3非決定計算の箇所は、もう二度とやりたくないぐらい難しかったです。 どうしても本文のコードの動きがわからなかったので動作プロセスを地道に追うことにしましたが、頭がパンクしそうになりました。 なんとか理解できたもののそれがあまりに苦で、続く4. 4からは演習問題をほぼ放棄しました。最後まで自力で解けたという人は能力・根気ともに大変優れた方だと思います。 放棄したりネットの解答に助けられた難問は、これらの章以外にもたくさんありました。 きのこる庭というブログで問題ごとに5段階で難易度が載っていたので、それを参考に飛ばすかどうか決めるのをおすすめします。体感難易度が違うものが結構ありましたので、参考程度ですが。 4. Schemeにやや不満 2章から、200〜300行とかなり長いプログラムを改造する問題がかなり出てきますが、 ここで、Schemeが動的言語であることに起因する苦しみに遭遇します。 強い静的型付け言語なら静的チェックで一瞬で見つかるようなバグに何時間も戦うハメになるからです。 この本が難しい理由の何割かはそこにあると思います。 Schemeのつらさは他にもあります。Schemeではあらゆるデータ構造を連結リストの入れ子で表現しますが、代数的データ型・パターンマッチと比べて相当把握しにくくて、好みの問題もあるでしょうが自分は嫌いでした。 リスト操作の仕方もややこしく、cons, append, listあたりを完全に使いこなすのも大変でした(というか最後まで使いこなせた気がしないです)。set-car!, set-cdr!
言わずと知れた「計算機科学の古典的名著」、復刊 プログラミング言語LISPの方言であるSchemeを使用し、抽象化、再帰、インタプリタ、メタ言語的抽象といった計算機科学における概念の真髄を丁寧に解説した古典的名著です。また計算機科学教育に多大な影響を与えたことはもちろん、「関数型言語」の聖典のひとつとしても挙げられています。いわば、現代の計算機科学(コンピュータサイエンス)の礎であり、プログラミングの始原であり、すべてのITの原点といえる1冊です。 1 手続きによる抽象の構築 1. 1 プログラムの要素 1. 2 手続きとその生成するプロセス 1. 3 高階手続きによる抽象 2 データによる抽象の構築 2. 1 データ抽象入門 2. 2 階層データ構造と閉包性 2. 3 記号データ 2. 4 抽象データの多重表現 2. 5 汎用演算のシステム 3 標準部品化力、オブジェクトおよび状態 3. 1 代入と局所状態 3. 2 評価の環境モデル 3. 3 可変データでのモデル化 3. 4 並列性:時が本質的 3. 5 ストリーム 4 超言語的抽象 4. 1 超循環評価器 4. 2 Schemeの変形-遅延評価 4. 3 Schemeの変形ー非決定性計算 4. 4 論理型プログラミング 5 レジスタ計算機での計算 5. 1 レジスタ計算機の設計 5. 「宗教的プログラムの構造と解釈」バズりすぎwwwwwww - いるま趣味ブログ. 2 レジスタ計算機シミュレータ 5. 3 記憶の割当とごみ集め 5. 4 積極制御評価器 5. 5 翻訳系
こんばんは、いるまです 今日、ジャンプ+に「宗教的プログラムの構造と解釈」という読み切りが掲載されました それが大バズり 20時30分現在で約46万回も見られています 読み切りでこれはほんとにすごくて、 週刊少年ジャンプ などの読み切りでさえ、あまり話題になることはないのに この作品はジャンプ+というアプリで無料で読めるのでバズって話題になることと親和性があったのかも 実際、僕も Twitter のトレンドで知りましたし VR でAIの信仰できる(推せる)女神を作っていくというSF作品なんですが、簡単にすると vtuber の中の人になるAIを作るみたい話でした まぁそれはもう キズナアイ がやってるんですけどね!!! てか推すのが信仰になるなら日本人は 無宗教 な訳ないでしょ 信仰=推すならいろんな信仰(推す)をしすぎて世界から違う意味で変な目で見られること間違いなしよ まとめ 流行りの vtuber と世界で開発が進められているAI 身近に感じるこの 2つを掛け合わせていて、読みやすかったSF作品でした もし連載とかになったら最後の100体の売られた女神のことでいくらでも書けそう あとこれは余談なんですか、この作品のタイトル絶対に「 計算機プログラムの構造と解釈 」から来てますよね 計算機科学の教科書なんですけど、この元ネタを知って SF的にめっちゃグッド と思いました 今日はこの辺で それじゃ、また!
guess x) ( < ( abs ( - ( square guess) x)) 0. 001)) > ( define ( sqrt x) ( sqrt-iter 1. 0 x)) > ( sqrt 2) 1. 4142156862745097 > ( sqrt 3) 1. 7321428571428572 1. 8 手続きを抽象化してブロック構造をとる方法、パラメータのスコープについて。外の入れ子にある束縛されたパラメータを内部で利用する(レキシカルスコープ)。 ( define ( sqrt x) ( define ( good-enough? guess) ( define ( improve guess) ( define ( sqrt-iter guess) ( if ( good-enough? guess) ( sqrt-iter ( improve guess)))) ( sqrt-iter 1. 0)) 問題 EXSERCISE 1. 3 三つの数を引数としてとり, 大きい二つの数の二乗の和を返す手続き > ( define ( square a) ( * a a)) EXERCISE 1. 4 scheme の評価モデルは、 演算子 が合成式である組み合わせでも使える > ( define ( a-plus-b a b) (( if ( > b 0) + -) a b)) > ( define ( sum a b) ( + a b)) > ( define ( larger-square-sum a b c) ( cond (( and ( < a b) ( < a c)) ( sum ( square b) ( square c))) (( and ( < b a) ( < b c)) ( sum ( square a) ( square c))) ( else ( sum ( square a) ( square b))))) > ( larger-square-sum 3 4 5) 41 EXERCISE 1. 5 作用的順序の評価と正規順序の評価について EXSERCISE 1. 6 特殊形式として定義されている if を通常の手続きとして再実装して、1. 7における 平方根 の手続きを行った場合、どうなるか。 > ( define ( new-if predicate then-clause else-clause) ( cond ( predicate then-clause) ( else else-clause))) ( new-if ( good-enough?
追記の方が長くなっちゃった。別エントリにしようかとも思ったが、ひとまずこのまま。
今日「『計算機プログラムの構造と解釈』で面白い問題があるんですよ」というのを教えてもらった。それは問題1.
SICP ようやく読み終わりました。 2014年5月から読み始めた ので、 足かけ丸2年。愛娘も1才から3才に成長。 練習問題やブログの記事を上げていた GitHub のコミットグラフを見ると、 サボっていた期間も結構あり、実働は1年ちょっとくらいかな。 他の SICP ブログを見ると、ほぼ全問解きながら3. 5ヶ月や 6ヶ月で読み終えた方もいるようなので、決してペースは早くもないし、 練習問題も特に§5の後半は全然解けていないですが、 社会人で仕事・家事・育児をこなしつつ、通勤時間・深夜・たまの有休を 使っての活動だったので、結構頑張ったかなという感はあります。 SICP で学んだこと 過去の記事を見返しながら列挙してみました。◎, △は僕の理解度です。 ◎ 変数の束縛と代入の違い、環境との関係を理解した ◎ 関数がファーストクラスである言語の実装の考え方を理解した ◎ 再帰呼び出し や 高階関数 が自然と使えるようになった。末尾 再帰 を意識するようになった ◎ 関数適用や評価の順序を意識しながら実装できるようなった ◎ データ主導やメッセージパッシングの戦略の違い理解した ◎ 型変換の動機と過程を理解した ◎ 局所状態と クロージャ による抽象化の構築を理解した ◎ ストリームと遅延評価を理解した △ 字句解析、 構文解析 を実装できるようになった ( BNF コンバータまでは使ってないので△) ◎ Scheme インタプリタ を フルスクラッチ で実装した ◎ 継続や非決定性計算の概念を理解できた §4. 3でcall/ccに出会い、§5. 2の レジスタ マシンのconitnue レジスタ がまさに継続だと気づけた △ レジスタ マシンで動作する インタプリタ 、 コンパイラ の構造を理解した (練習問題を解いていないので△) さらに発展的なものとして、 万能機械の概念を知り、ユーザープログラムであれ処理系であれ 解くことのできる問題もそうでない問題も同じ、というメタな視点が得られた プログラムはある意味全て処理系、という考え方に至るようになった 副次的なものとして、 社会人での継続学習、ブログを書く習慣が定着した Gitや GitHub が使えるようになった わからなくても書いて動かせば道は開ける、と思えるようになった。 まずは手を動かすことが大事! ざっとあげてこんなところかな。 読み始めの頃といまの比較 読み始めた頃の自分といまの自分を比較してみました。 読み始めたころの自分 いまの自分 関数型言語 を習得したい SICP は 関数型言語 を習得する本ではないが、 高階関数 や クロージャ あたりは自然と使えるようになり、めちゃめちゃ楽しい!
現在の高速バスの運行情報(運休情報あり)はこちらをご覧ください。 成田空港行き 運賃(円・大人) 運行会社 成空 あすか★ 西岬★ 1, 000 (小児500) 鍛冶橋駐車場 発 - 大江戸温泉物語 東雲イオン前 東雲車庫 21:30 銀座駅 東京駅 22:00 23:00 0:00 成田空港 第3ターミナル 着 23:02 0:02 1:02 成田空港 第2ターミナル 23:05 0:05 1:05 成田空港 第1ターミナル 23:10 0:10 1:10 車内設備 アイコンの説明 * 発:乗車のみ 着:降車のみ 発/着:乗車・降車とも可 東京駅・銀座駅(有楽町)・東雲車庫行き 成田空港周辺ホテル行き
成田 国際 空港 のバスチケットカウンターは、第1ターミナルは北ウイング・南ウイング共に1階到着ロビーを出た正面に1か所ずつ、第2ターミナルはAゾーン・Bゾーン共に1階到着ロビーを出た正面に1か所ずつ、第3ターミナルは2階にチケットカウンターがあります。 リムジンバスに乗車を希望の方は、オレンジ色の看板を目指しましょう。リムジンバスの場合、どこのカウンターでも希望の行き先のチケットを購入できます。 第3ターミナルは、2階一般エリアのチケットカウンターと1Fバス乗降場の自動券売機(一部の運行会社のみ)があります。 また、 東京駅 までの「THEアクセス 成田 」など一部のバスでは、バス車内でのお支払いになります。 高速バスの事前予約はできる? リムジンバスの場合、クレジットカードによる事前決済を条件に公式ウェブサイトから予約ができます。予約サイトの言語は、英語、中国語(簡体字・繁体字)、韓国語から選択可能。事前に会員登録をしておくと便利です。 成田国際空港から高速バスは何分間隔で走っている? 行き先やバス会社によりますが、日中であれば10~30分間隔で運行しています。 成田 空港 到着後にチケットカウンターで高速バスの出発時刻を確認しましょう。 リムジンバスの場合、7時台から23時台の間で 新宿 エリア行きは1時間に3~6本、 銀座 エリア行きは1時間に2~3本の間隔で運行しています。 成田国際空港発、都内行きの高速バスの料金 1, 000円~3, 000円台が一般的です。 リムジンバスは 成田 空港 ~都内(一部のエリアを除く)が大人片道3, 200円(小人半額)。荷物はお一人様2個まで預けられるほか、車内無料WiFi設備の他、トイレ、USB電源コンセント、路線によってはリフト付き車輛を導入し、バリアフリーに対応をしています。 "LCC高速バス"といわれるTHEアクセス 成田 は大人片道1, 000円と最安値ですが、荷物室でお預かりできる荷物はスーツケース1人1つまで、また楽器やスキー用品等お預かりできない品目があります。運賃・サービスを含め、自分の旅行スタイルに合わせて選んでみてはいかがでしょうか。 リムジンバスは往復で買うとお得になる! 成田空港から東京駅までのリムジンバスの料金とその他の交通手段. リムジンバスには、外国人のお客様向けに割引チケットが用意されています。 特におすすめしたいチケットは、 成田 空港 ~都内の路線で利用できる「RETURN VOUCHER」と「MULTI VOUCHER」です。 「RETURN VOUCHER」は片道券2枚つづりで4, 500円。1人で往復利用はもちろん、2人で片道利用をしてもOKです。 「MULTI VOUCHER」は片道券4枚つづりで8, 000円。2人で往復利用をしたり、4人で片道利用も可能です。通常料金は大人片道3, 200円ですので、どちらのチケットも大変お得です。 リムジンバスで都内に移動したあと都内観光をするのであれば「Limousine & Subway pass」がお得です。リムジンバスの乗車券と東京メトロ・都営地下鉄が乗り放題の乗車券がセットになっており、旅行スタイルにあわせて3種類から選べます。 高速バスは利用シーンに合わせてかしこく利用!
公開日: 2019/08/06 更新日: 2020/11/06 成田 国際 空港 は、日本の首都・東京まで公共交通機関で約1時間の距離に位置する国際 空港 です。都内へ移動する際、電車、タクシーと行き方はさまざまありますが、お得で便利な手段としておすすめなのが高速バスです。 今回は、 成田 国際 空港 と都内を往復する高速バスの代表「リムジンバス」をメインに、高速バスの利用方法を紹介します。 成田国際空港~都内を走る高速バスはどんな種類がある?
始発バス停 東京駅=無印、鍛冶橋駐車場=鍛、銀座駅=銀、東雲イオン前=イ、東雲車庫=車、大江戸温泉物語=大 ★: トイレ有り 早朝・深夜便 :運賃倍額2, 600円(小児1, 300円) 青色 :東京駅乗り場が8番になります【予約便(座席指定)】 予約便(座席指定便)は、東京駅発と鍛冶橋駐車場発のみ、Web予約が可能です。 そのほかの停留所では、Web予約を承っておりません。 時刻表一覧のダウンロードは こちら
成田 国際 空港 から都内へ行く高速バスは、種類が豊富で簡単にチケットが買えるものばかり。特にリムジンバスは、都心の停留所と運行便数が多いので、ストレスフリーに移動をしたい人にとってぴったり。 日本での旅行を快適に楽しむために、高速バスをかしこく利用してみましょう! ※本記事は2019年7月公開時の情報です Written by: 東南アジアが拠点のライター。安いビールが生きがい。 ※記事掲載時の情報です。 ※価格やメニュー内容は変更になる場合があります。 ※特記以外すべて税込み価格です。 この記事をシェアする
公開日:2015/01/31 更新日:2020/12/07 東京駅から成田空港までのバスは現在2種類あり、便数は全て合わせて片道60便以上。乗り換えもなく、大きな荷物もトランクに預けられるので、電車に比べては便利な点もあります。 ただ、乗り慣れていない方は、バスの利用で疑問に思う点が多いと思います。例えば、「空港バスって高そう」「どこから乗れるの?」「遅延の可能性は?」などなど。 そんな疑問を払拭するため、東京駅~成田空港まで料金や時間、注意事項などをお伝えします! 1.東京駅~成田空港までのバス3種類の違いは? 東京駅~成田空港区間のバスは現在2種類、「エアポートバス東京・成田」「エアポートリムジン」が運行しています。 この2社で異なるのは主に料金と時間です。予算とフライトの時刻に合わせて希望のバスを選べば、失敗することはほぼありません! 東京駅から成田空港までのバス徹底比較＆乗車体験レポート！ | ドットコラム. ■2社比較表(2020年11月25日現在)) ※画像をクリックすると別タブで拡大して開きます。 ■エアポートバス東京・成田(平和交通/あすか交通/ジェイアールバス関東/京成バス) ■エアポートリムジン(東京空港交通) 2.空港へのバスをお得に乗る方法 空港行きのバスにも、割引が効いてお得に乗れる方法があります。 ここでは、可能な限り安く乗車するため、ケース別にお得な料金や割引をチェックしておきましょう! 2-1.夜の出発便が安くなる『エアポートリムジン』 19時~20時50分の間に出発するバスはが、通常価格の約65%OFFの1, 000円でご利用いただけます。 夜行便に搭乗される場合は、お得です。 2-2.お子様料金が格安な『エアポートバス東京・成田』 お子様(小学生以下)連れの場合は、『エアポートバス東京・成田』がおすすめ。大人料金も1000円で安いですが、小人料金はさらに半額の500円。移動費を少しでも抑えて、旅先でその分のお金を使うことが出来ます。 2-3.WEBで予約するとお得な「エアポートリムジン」 インターネット上で予約を行うと、通常料金の半額で利用できるため、WEB予約が断然お得です。 2-4.何回も利用する場合は回数券で約○%FF 出張で何回も乗車する人、もしくは複数名で移動する場合は回数券を利用するとお得です。 『エアポートリムジン』は7, 200円(4枚つづり)なので、1回当たり通常料金に比べ1, 000円もお得です。 3.空港バスのよくある疑問と注意点 ここでは、空港バスのよくある疑問と空港バスならではの注意点をお伝えします。飛行機に確実に乗るためにも事前のチェックは必須です!