好きい夢 計算機遊び日記

JUMP計画成功!(LAL)


☆★☆――――――――――――――――――――――――――――――――

                          ~LAL~

                          計算機遊び日記

――――――――――――――――――――――――――――― 2018.10.7号
<ごあいさつ>
 こんにちは、発行人の笹川です。Prolog星に帰還しました。

■JUMP計画成功
___________________________________
 EISLの型推論に目途がついたのでProlog星に帰還していました。JUMP計画
の続きをやっていました。JUMP計画とはSWI-Prologの実行性能を超えるという
ものです。当初はGNU-Prologも超えるつもりでしたが、GNUは整数の計算に
つきBIGNUMをもっていません。それでは比較の土俵が違います。
そこでBIGNUMをもっているSWI-Prologを超えれば良いという目標としました。
コンパイラについて新しい方法を導入しました。CPS、継続渡しを使います。
この結果、僅差ではありますがSWI-Prologを9Queensで超えることができました。
詳しいことはQiitaに投稿してあります。JUMP計画、成功です。
https://qiita.com/sym_num/items/d767d925d42e19dee2ed
_________________________________

■編集後記
___________________________________

最後までお読みいただき、ありがとうございました。
LALでは仕事のためではない、楽しみのための
プログラミングを追求したいと思っています。

ご感想・ご意見は、お気軽にご連絡ください。
では、また来週、お会いしましょう。            (笹川)


___________________________________

メールマガジン「LAL 計算機遊び日記」

☆発行責任者:笹川賢一
☆公式サイト:http://eisl.kan-be.com/
☆問い合わせ:ken-s@tkcnf.or.jp
☆登録・解除:http://www.mag2.com/m/0001653706.html

好きい夢 計算機遊び日記

RSSを登録する
発行周期 ほぼ 週刊
最新号 2018/10/07
部数 91部

このメルマガを購読する

ついでに読みたい

好きい夢 計算機遊び日記

RSSを登録する
発行周期 ほぼ 週刊
最新号 2018/10/07
部数 91部

このメルマガを購読する

今週のおすすめ!メルマガ3選

サラリーマンで年収1000万円を目指せ。
高卒、派遣社員という負け組から、外資系IT企業の部長になった男の、成功法則を全て公開します。誰にでも、どんな状況、状態からでも自分の力で人生を変えるための情報と知性を発信しています。人生を意のままにするには、脳みそとこころの両方が進化しなければなりません。そんな進化とは何か?をお届けする四コママンガ付きメルマガです。2014年から4年連続でまぐまぐ大賞部門賞を受賞しました 学歴やバックグラウンドに拘わらず、人生を思いのままに生きるために必要な考え方が書かれた、「良書リスト」も希望者に差し上げています。
  • メールアドレスを入力

  • 規約に同意して

親鸞に学ぶ幸福論
【あなたを幸せにさせない理由はただ一つの心にあった。その心がなくなった瞬間に人生は一変する】と親鸞は解き明かします。 「本当の幸福とは何か」はっきり示す親鸞の教えを、初めての方にもわかるよう、身近な切り口から仏教講師が語ります。登録者にもれなく『あなたを幸せにさせない5つの間違った常識』小冊子プレゼント中。
  • メールアドレスを入力

  • 規約に同意して

日本株投資家「坂本彰」公式メールマガジン
サラリーマン時代に始めた株式投資から株で勝つための独自ルールを作り上げる。2017年、億り人に。 平成24年より投資助言・代理業を取得。現在、著者自身が実践してきた株で成功するための投資ノウハウや有望株情報を会員向けに提供しているかたわら、ブログやコラム等の執筆活動も行う。 2014年まぐまぐマネー大賞を受賞。読者数3万人。雑誌等のメディア掲載歴多数。 主な著書に『10万円から始める高配当株投資術』(あさ出版)『「小売お宝株」だけで1億円儲ける法』(日本実業出版社)
  • メールアドレスを入力

  • 規約に同意して

今週のおすすめ!メルマガ3選

右肩下がりの時代だからこそ、人の裏行く考えを【平成進化論】
【読者数12万人超・日刊配信5,000日継続の超・定番&まぐまぐ殿堂入りメルマガ】 ベストセラー「仕事は、かけ算。」をはじめとするビジネス書の著者であり、複数の高収益企業を経営、ベンチャー企業23社への投資家としての顔も持つ鮒谷周史の、気楽に読めて、すぐに役立つビジネスエッセイ。 創刊以来14年間、一日も欠かさず日刊配信。大勢の読者さんから支持されてきた定番メルマガ。 経験に裏打ちされた、ビジネスで即、結果を出すためのコミュニケーション、営業、マーケティング、投資、起業、経営、キャリア論など、盛り沢山のコンテンツ。
  • メールアドレスを入力

  • 規約に同意して

●人生を変える方法【人生をよりよくしたい人必見!誰にでもできる方法を組み合わせました。】
■「人生(自分)の何かを変えたい!」と思ってる方、まずは最初の1分から始めましょう!今日は残っている人生の一番初めの日です。今、「人生を変える方法」を知ることで、一番長くこの方法を使っていくことができます。コーチングで15年間実践を続けてきている方法なので、自信をもってお勧めできます。「人生を良くしたい!」と思うのは人として当然のこと。でも、忙しい生活の中で人生(自分)を変えることって諦めてしまいがちですよね。誰かに変える方法を教えて欲しいけど、その方法を知っている人は少ない。だからこそ・・・。
  • メールアドレスを入力

  • 規約に同意して

サラリーマンで年収1000万円を目指せ。
高卒、派遣社員という負け組から、外資系IT企業の部長になった男の、成功法則を全て公開します。誰にでも、どんな状況、状態からでも自分の力で人生を変えるための情報と知性を発信しています。人生を意のままにするには、脳みそとこころの両方が進化しなければなりません。そんな進化とは何か?をお届けする四コママンガ付きメルマガです。2014年から4年連続でまぐまぐ大賞部門賞を受賞しました 学歴やバックグラウンドに拘わらず、人生を思いのままに生きるために必要な考え方が書かれた、「良書リスト」も希望者に差し上げています。
  • メールアドレスを入力

  • 規約に同意して

他のメルマガを読む

ウィークリーランキング