Skip to content

Instantly share code, notes, and snippets.

View yoshihiro503's full-sized avatar

YOSHIHIRO Imai yoshihiro503

93 followers · 47 following
View GitHub Profile
@yoshihiro503
yoshihiro503 / create_erlang_modules.ml
Last active June 28, 2019 05:37
erlangのモジュールをたくさん作るOCamlプログラム
let number_of_modules =
if Array.length Sys.argv <= 1 then 100
else Sys.argv.(1) |> int_of_string
let create_module_succ index =
Printf.sprintf {|
-module(mod_%d).
-export([f/1]).
-spec f(input_%n) -> ok.
@yoshihiro503
yoshihiro503 / opam install obeam error:「 [ERROR] The sources of the following couldn't be obtained, aborting:」.md
Last active March 7, 2019 05:57

My Environment

  • MacOS 10.12.6
  • opam 2.0.0
  • ocaml 4.07

Console

yoshihiro_imai:~ $ opam install --debug obeam.0.1.4
@yoshihiro503
yoshihiro503 / fialyzer開発環境構築2019.md
Created February 14, 2019 12:03

fialyzer の開発環境を構築する方法 2019

構築する環境

  • opam 2.0.3
  • ocaml 4.07.1
  • dune 1.7.1

準備

opam 2 のインストール

@yoshihiro503
yoshihiro503 / 東銀座周辺のランチでいきたいイタリアン.md
Last active February 13, 2019 03:16
@yoshihiro503
yoshihiro503 / はじめて学ぶ人のためのScala<->Erlang構文対応表.md
Created October 5, 2018 02:45
Scala Erlang
変数 x X
関数適用 f(x, y) f(X, Y)
無名関数 (x) => x+1 fun(x) -> x+1 end
変数定義 val x = 1 X = 1
if式 if(x < 1) 100
else 200		 if
  N < 10 -> 100;
  true -> 200
end
パターンマッチング "1" match {
  case 1 => 100
  case 2 => 200
}		 case 1 of
  1 -> 100;
  2 -> 200
end
@yoshihiro503
yoshihiro503 / fialyzer開発環境構築2018.md
Last active February 14, 2019 12:04
@yoshihiro503
yoshihiro503 / Vec.v
Last active August 15, 2018 05:05
Vec 0の元は全部VNilであることの証明(see https://twitter.com/i/web/status/1027868640169717762)
Require Import JMeq.
Section Vec.
Variable A:Set.
Inductive Vec : nat -> Set :=
| VNil : Vec O
| VCons : forall n, A -> Vec n -> Vec (S n).
Lemma Vec0_is_JMeq_to_VNil : forall n (v : Vec n),
n = 0 -> JMeq v VNil.
@yoshihiro503
yoshihiro503 / coqideをopamでインストールする.md
Last active July 15, 2018 07:16 
$ opam install  coqide
The following actions will be performed:
  ∗  install conf-pkg-config    1.1             [required by conf-gtksourceview]
  ↗  upgrade coq                8.8.0 to 8.8.1  [required by coqide]
  ∗  install conf-gtksourceview 2               [required by coqide]
  ∗  install lablgtk            2.18.5          [required by coqide]
  ∗  install coqide             8.8.1
@yoshihiro503
yoshihiro503 / ヘルシーなランチ(東銀座).md
Last active June 14, 2018 01:49

STAND BY FARM （スタンド バイ ファーム）

海遊山楽 ゆう 銀座店

  • 日替り御膳 880円
    • 本日の魚
  • 本日の肉
@yoshihiro503
yoshihiro503 / フレンチランチ(東銀座).md
Created April 25, 2018 03:01