追記: 1つ大事な話を書いておくと、書籍版の翻訳は非常に評判が悪く、原著はMITライセンスとなっているため非公式の和訳PDFが存在します。自分は真鍋さんという方が訳されたものを読みましたが、特に翻訳に不満を感じたことはなく最後まで読めました。無料ですし、何か理由がないのであればそちらを勧めます。 主に1と4と総評などを加筆・修正しました@2019/12/11 読み終えるのに、演習を解いた時間を含めて約236時間かかりました。 4. 4論理プログラミングからほとんど問題を解かなくなったので、全部飛ばさずに問題を解くならもっと掛かると思います。(あと写経は時間の無駄だと思ってるタイプの人なので本文のコードはほぼ全部コピペしました。写経するならさらに時間がかかるかと。) ちなみに自分はちょうど1年かけて読み終わりました。毎日何時間も出来るなら半年以内で読み切ることも可能だと思いますが、休日稼働だと1年はかかると思います。 感想は以下の通りです。 1. 基礎が身につく(ただし、基礎に限る) 2. 古さは感じない 3. ところどころ非常に難しい 4. Schemeにやや不満 5. 計算機プログラムの構造と解釈（SICP) 第2版のKindle化 - dogatana's diary. 問題を解くのが楽しい 6. 読者人口が多いため色々と楽 1.
ようやくSICPが終わった。念願の夢の1つを叶えた。「ポインタを理解する」「コンパイラをつくる」とかから始まり 今年に入って 技術者として個人的にやりたかった事を3つ実現できた。良い調子。 サムネは記念にマッカーシー先生(再使用が許可された画像)。 完了までの期間 3. 5ヵ月程度。平日は帰社後に2~3時間ほど、毎週土日はSICPに費やした。 学んだこと・できるようになったこと 1. より抽象的に物事の仕組みが考えられるようになった。 (「言語」という制約されたドメインを取っ払って純粋に実装について考えられるようになった) 2. 再帰のコードは悩まなくてもスンナリ頭に入るようになった。 3. Eval & Apply の陰陽によるプログラムの成り立ちを理解した。 4. 数学・コンピュータ科学に関する以下のことが人に説明できる程度には身についた。 - Newton法 - エラトステネスの篩 - パスカルの三角形 - 不動点探索 - ユークリッド互除法 - 二分木 - モンテカルロ法 - データ主導プログラミング - メッセージパッシング - フレーム - セマフォ - Huffman符号化木 - 非決定性計算 - 並列処理 - ストリーム etc… 5. 関数プログラミングに可能性を感じた。 - apply, map, filter の絶大な威力に戦慄した。 - 無限ストリームに戦慄した。 ※ 特に Huffman符号化木がモールス信号とか実用で採用されている点に関しては結構感銘を受けたのと同時に、アカデミックな分野がまだまだ現実世界に応用できる可能性を秘めていると確信した。 6. 集中力が養われた。 7. 昔難しいと思っていた本が割とすんなり読めるようになった。 8. (´・ω・`)がLispの構文のようなものに見えるようになった。 9. 「スマフォ」という単語を見ると「セマフォ」を思い浮かべるようになった。 10. 「エラトステネス」のtypoがなくなった。 11. Scheme - 解答 - 計算機プログラムの構造と解釈 - 解決方法. 括弧が無意識の世界に消え去った。 12. Lispの闇の扉が開いた。 13. lambda 14. λ 15. 神はLispで世界をおつくりになられた 大変だったこと・不安だったこと 1. 問題を一つ解くのに相当時間がかかることもあったので常に頭を悩ませていた。 2. 毎晩遅くまでパソコンに向かって勉強していたので日中眠気に襲われることがしばしば。 3.
0人中、0人の方がこのレビューが役に立ったと投票しています。 本書は1980年からMIT の初級レベルの計算機科学の科目の基本としてできあがったテキストで、全米に大きな影響与えました。初版の特徴を継承しつつ、第二版では、 汎用演算システム、解釈系、レジスタ計算機シミュレータおよび翻訳系を含め、主要なプログラミングシステムの大部分を再構成しています。使用しているプログラミング言語はSchemeです。 目次 1 手続きによる抽象の構築 2 データによる抽象の構築 3 標準部品化力、オブジェクトおよび状態 4 超言語的抽象 5 レジスタ計算機での計算
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. 2 レジスタ計算機シミュレータ 5. 3 記憶割り当てとごみ集め 5. 4 積極制御評価器 5. 5 翻訳系 参考文献 問題リスト 索引 posted by 生田修平 at 10:50| Comment(0) | 書籍
Nondeterministic Computing 「非決定主義的コンピューティング」とした。 ・ spring into existence 急に現れる、ひょっこり現れる in one's own right 生来の権利で。当然、本来。 metastable 準安定 predicate calculus(または、predicate logic) 述語論理 述部、名前と量化されたものを含んでいる命題を扱う記号的な論理学の部門(Ox) calculus 計算法 differential equations 微分方程式 determining primality 「素数であることを確定すること」とした。 prime numbers 素数 scoping 「作用域を決めること」とした。 scope 作用域 binding 束縛、バインディング discretionary exportable functionality 「自由裁量である外部に出せる機能性」としたがよくわからない。 discretionary functions 「任意の関数」としたがよくわからない。 discrete(形容詞:分離している、別個の)これの間違い? 「分離している外部に出せる機能性」「別個の部分から成る機能」このようにしてみた。 It would be difficult to find two languages that are the communicating coin of two more different cultures than those gathered around these two languages. 「2つ以上の異なる文化の通信用コインである2つの言語を見つけることは、これらの2つの言語のまわりに集まったものたちより、難しいでしょう。」 このようにしてみた。 ・ nondeterministic 「非決定主義的」とした。 nondeterministic programming 非決定、非決定的プログラミング nondeterminism 非決定性 ・ epistemology 認識論 higher-order function 高階関数 delayed evaluation、lazy evaluation 遅延評価 data mutation 「データ変化」とした。データ変異?
ショップで口座振替からクレカ払いに変更する ワイモバイルショップでは 変更前の口座名義と変更後のクレカ名義が異なる 場合、 名義の異なる別ブランドのクレカに変更する 場合は手続きができます。 なお家電量販店や街中の携帯ショップなどでは手続きが行えないので、必ずワイモバイルショップに行って手続きするようにしましょう。 ■必要なもの 本人確認書類の原本 クレジットカード 支払い名義人同意書 家族証明書類(戸籍謄本か住民票記載事項証明書) ■手続き時間 1時間〜2時間程度(待ち時間込み) ■手続き手順 ワイモバイルショップに行く 必要書類を店員さんに渡す 店員さんが手続きをしてくれる ■変更が反映されるタイミング 変更手続きした月の料金からクレカ払いになる なお名義が異なるクレカに変更することになるので 支払い名義人同意書をクレカの名義人に記入してもらう ことになります。 支払い名義人同意書を下記ページからダウンロードして記入し、印刷したものをショップに持参することになります。 支払い名義人同意書ダウンロードページ 3. クレカ払いから口座振替に変更する方法 郵送かショップで手続き! クレカ払いから口座振替に変更する場合は 支払い方法変更申込書の提出が必須 になります。 支払い変更申込書を電話やWEBでワイモバイルから取り寄せて郵送するか、ショップに直接行って記入する必要があるためWEBで手軽に変更できるわけではないので注意しましょう。 ■口座振替への変更方法 郵送で変更:電話やWEBで変更申込書を取り寄せてワイモバイルに郵送して手続き ワイモバイルショップで変更:ワイモバイルショップに行って変更申込書を記入して手続き なお 変更前と変更後の名義が同じ場合も異なる場合も郵送やショップどちらでも手続き ができます。 また例えばみずほ銀行からUFJ銀行への変更など金融機関を変更する場合も郵送、ショップどちらも手続きが可能です。 口座振替に変更する実際の手続き手順は下記記事でも詳細に解説していますのでチェックしてみましょう。 ワイモバイルでクレカ払いから口座振替に変更する方法!WEBや電話で手続きできる手順まとめ 3-1. 郵送でクレカ払いから口座振替に変更する 郵送で口座振替に変更する場合は 「自動音声応答サービス」か「myY! mobile」から支払い方法変更申込書を取り寄せる 必要があります。 取り寄せ手続きから2, 3日後に自宅に届きますので、記入と捺印をしてワイモバイルに返送することになります。 ■必要なもの 支払い方法変更申込書 支払い名義人同意書 ※名義が異なる場合だけ 家族証明書類 ※名義が異なる場合だけ ■手続き時間 5日程度 ■手続き手順(WEBで取り寄せ) myY!
キャリアメール利用中の方は「メールアドレスの変更」を忘れずに ワイモバイルではキャリアメールのサービスを提供しています。 しかし、 ワイモバイル解約後はキャリアメールを利用できなくなってしまいます。 そのため、ワイモバイルから他キャリアへ乗り換える前にワイモバイルのキャリアメールを登録してるサービスの「メールアドレス変更」を行う必要があります。 メールアドレスの変更を忘れてしまうと、最悪の場合はログインできなくなってしまうことも考えられるため、必ず忘れずにメールアドレスの変更を行ってください。 ヤフーメールやGメールなどの「フリーメール」がおすすめです! → Ymobileはキャリアメールが無料で利用可能!料金やアプリについて徹底解説 Y! mobile解約後に利用したいおすすめの格安SIM会社 今の時代スマートフォンなどの携帯電話は必需品となりました。 しかし、 ワイモバイルを解約してしまうとスマートフォンを外出先でインターネットに接続することができなくなってしまい、電話サービスも利用できなくなってしまいます。 そこでこの章では、ワイモバイル乗り換え後におすすめの格安SIM会社をご紹介していきます。 1GB以下の利用は無料!楽天モバイル 楽天モバイル 1GBまでなら利用料金ずっと0円 楽天モバイルは1GBまでの利用なら無料で利用することができます! さらに、 楽天SPUにより楽天市場でのお買い物時にポイント還元率が+1%UP します。 毎月の携帯電話料金を安くしたい方へはもちろん、楽天市場をよく利用する方にもおすすめです!
解約月の月額に関しては上記で説明している通り、 ・日割りはどのタイミングでも大丈夫 ・満額プランは月末に解約がお得 という事が分かりましたが、ここで注意点があります。 それは解約方法の種類によってタイミングが変動するという事です。 ワイモバイルの解約に関しては、店頭とコールセンターという2つの方法がありますので、それぞれでタイミングに関する注意点をご紹介しましょう! 店頭(ワイモバイルショップ)での解約 店頭で解約手続きを行う場合、その日に解約が可能ですので、解約したい日にショップに予約を行い、手続きを行えば 任意の日に解約が可能 です! この場合は、事前にショップの予約さえ取れれば特に解約日関連でトラブルになる事は少ないでしょう。 仕事や学校などで店頭に行ける日が限られてしまうかもしれませんが、解約日を設定する事が出来るので店舗での解約がおすすめです。 コールセンターへ電話で解約の申し出 解約日について注意をしなければいけないのが、このコールセンターへ解約の申し出を行い、解約書類を送ってもらう場合の手続きでしょう。 流れとしては、コールセンターへ電話→書類到着→書類記載→返送→ワイモバイル到着→データ処理という流れになるので、コールセンターに電話してから実際に解約の受理がされるまでに、 約1週間前後のタイムラグが発生 するのです。 なので、仮に今月末に解約したいからといって、その月の28日に電話しているようでは、確実に翌月の解約にズレ込んでしまうでしょう。 なので、もし店頭解約が面倒であれば、解約したい月の中旬にはコールセンターに電話し、手元に解約手続きに必要な書類を準備しているようにしましょう。 オンラインでの解約手続きについて 最近では Yahoo! モバイル公式オンラインストア からオンラインでの解約手続きができるようになりました。 以前は店舗に行くか、なかなかつながらない電話をかけ続ける必要がありましたが、 WEB上でMNP転出や解約手続きが出来ますので、現在はオンラインでの解約が一番おススメです。 総括!ワイモバイルの解約のタイミングについて 現在ワイモバイルで旧ウィルコムや旧イーモバイルを使われている方は、更新月だけに気を配れば どのタイミングでも 解約で損をする事はないでしょう。 ただし、解約月の月額が満額かかってしまう方に関しては、月末に解約する事が一番お得になるので、 選択される解約方法にあったタイミング で手続きを進める事が必要になります。 更新月での解約も大事ですが、月のどのタイミングで解約するかでも料金が変わってくるので、注意して解約をするようにしましょう。 ワイモバイルがオンラインと店舗で違う価格って知ってた?
解約 更新日: 2021年3月6日 ワイモバイルを使っているが、そろそろ解約して別のキャリアに乗り換えたい! そう考えた場合、初めに考慮しなければならない事は、 どのタイミングで解約するか という点です。 月額を無駄にしない為には、やはり月末の解約が良いのでしょうか・・・。 この記事では最適な解約タイミングと注意点について解説をします。解約タイミングをミスすると支払う料金が変わってしまうので、一番損しないタイミングで解約したいですよね。 ワイモバイルの解約は月末が最適タイミング?
なので、sim契約で超短期解約をした場合は 3, 000円強の費用 になるという事です。 この費用はパッと見は安く感じるでしょうが、 1〜2日だけの利用だと考えるとかなり割高 になってしまうのです。 お得に短期解約する方法 しかし、ワイモバイルで数日間だけ電話番号を利用したいと言った場合には、別の方法を用いれば上記よりも 大幅に安く済ますことも可能 なのです。 通常の契約方法で一番費用が高い項目としては、やはり事務手数料の3, 000円でしょう。 これを減らす事ができれば短期利用者としてはワイモバイルは最強になります。 そして、これは非常に簡単な方法で実現する事ができるのです! その方法は、特殊な方法でもなんでもなく、単純に ワイモバイルの公式オンラインストアで契約する という至ってシンプルなもので、そうする事で自動的に公式オンラインストアの特典である 事務手数料無料が適用される のです。 つまり、数日だけ利用して即解約手続きを行えば 数百円 という破格の金額で新しい電話番号を使用する事ができるのです。 お客さん これは多分、業界トップの安さになるでしょうね^^; ワイモバイルの解約違約金はいくら?解約時の注意点について まとめ 以上が、ワイモバイルの違約金0円に対して把握しておくべき注意点となります。 スマホベーシックプランは使い方さえ間違わなければ、前のスマホプランよりも格段に お得に利用する事ができるプラン です。 なので、普段使う用のスマホの契約にも向いていますし、リスクを理解した上であれば数日だけ電話番号が欲しいという要望も満たす事ができる 超有用なキャリア に昇華したと言えるでしょう。 何よりワイモバイルの公式オンラインストアで契約する事で自動的に適用される 事務手数料無料はかなり嬉しい特典 ですので、ワイモバイルで契約を検討されている方は オンラインストアを使わない手はないでしょう 。 羊 あとはオンラインで申し込むことで店舗よりも実質お得になりますよ! お得なオンラインでの申し込みはこちら! ワイモバイルって店舗とオンラインストアで月額料金が違うって知ってた? 大手携帯の会社の勤務経験からYLIFEを立ち上げし、ワイモバイルについてもお得な情報をわかりやすく発信。 - オススメ, 解約 - ワイモバイル, 解約, 違約金