Jupyter notebookのススメ
こんにちは。この記事では開発を含めた「作業環境」の１つである「Jupyter Notebook」を紹介します。以下、Jupyterのページ。 おそらく、Jupyter Notebookに関する「...
1
2
Comment0
10 search resultsShowing 1~10 results
Stocked
You need to log-in
golangの並行処理のための言語要素に対応するCSPの記述を理解して形式検証の実践を開始しよう(記述編）
はじめに go言語には、「スレッドの生成・起動」、「スレッド間の通信」といった、いわゆる「並列処理」を意識した言語要素があります。 このような言語要素を使って書く並行処理は、多くの場合振る舞いが...
13
5
Comment0
golangの並行処理のための言語要素に対応するCSPの記述を理解して形式検証の実践を開始しよう(検証編：クリティカルセクション）
はじめに 単純ですが具体的な例を示したいと思います。今回題材とするのは、「クリティカルセクション問題」です。これは並行処理のプログラムが資源を共有したりする場合に出くわす問題です。 今回、検証に...
2
0
Comment0
「定理証明手習い(The Little Prover)」のJ-Bobを動作させる Scheme版/ACL2版
はじめに 「xxx手習い」(原書:The Little xxx-er)というシリーズをご存じでしょうか。 これらの本はどれも、「会話式」という独特の形式で内容が進行する、面白い本です。 基本的に...
4
4
Comment0
フラクタル図形を描く(木)
はじめに 「木」というのは、プログラマにとって、少なくとも「データ構造」としてはなじみ深いものです。 木構造を構成する要素は以下の４つです： 節点(node) 枝(branch) 葉(leaf)...
1
1
Comment0
フラクタル図形を描く(Koch曲線)
Koch(コッホ)曲線 何はともあれ、Koch曲線はこのような「自己相似性」をもった図形です。 描き方の手順は以下です： 横(X軸方向)に長さLの直線を引く この線を３等分し、真ん中の直線の端を...
1
1
Comment0
フラクタル図形を描く(道具編)
フラクタル図形とは フラクタル図形は「自己相似」という構造をもった図形です。自己相似な図形は全体と部分が似た構造を持つ、不思議な絵になります。このような構造は、自然界にも多くあらわれるので、逆に...
4
0
Comment0
マンデルブロ集合で遊ぶ(描画編)
マンデルブロ集合の描画バリエーションを考える 前記事「マンデルブロ集合で遊ぶ（基本編）」では、マンデルブロ集合の基本的な計算方法を紹介しましたが、描画については最も単純な方法を示しただけでした。...
2
2
Comment0
マンデルブロ集合で遊ぶ(3D編)
断面にみえた!? マンデルブロ集合の可視化表現で、「集合に含まれる部分は真っ黒(または一色)で、含まれない部分は外側に向かってグラデーションや同心円状の縞模様で」という「絵」を見たとき、なんとな...
2
0
Comment0
マンデルブロ集合で遊ぶ（基本編）
はじめに マンデルブロ集合(Mandelbrot Set)を描画すると、以下のような絵になります。 初めてみる人にとって、この図形はとても不可解で複雑、どうやったらこんな絵が描けるのか見当もつか...
11
4
Comment0
10 search resultsShowing 1~10 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles