Skip to content

Instantly share code, notes, and snippets.

Ryo Ishigaki risgk

Block or report user

Report or block risgk

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@risgk
risgk / 2016-11-26_hamait.txt
Created Nov 27, 2016
ISGK Instrumentsの活動紹介
View 2016-11-26_hamait.txt
# ISGK Instrumentsの活動紹介
* 浜松IT合同勉強会 LT大会
* 2016/11/26(土) @risgk
* <http://risgk.github.io/>
@risgk
risgk / ruby-arduino-synth.md
Last active May 30, 2019
Ruby x Arduinoでシンセサイザーを作ってみた #hmrk01
View ruby-arduino-synth.md

Ruby x Arduinoでシンセサイザーを作ってみた

  • 2015/03/28 浜松Ruby会議01

  • Hamamatsu.rb 石垣 良

@risgk
risgk / simplebool_with_case_class.rb
Created Sep 17, 2013
TAPL 第10章より / 単純型のRuby別実装 (ブール値を伴った単純型付きラムダ計算のRuby別実装)
View simplebool_with_case_class.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
# $ gem install case_class
# ref: http://github.com/mame/case_class
require "case_class"
# CAUTION: Monkey patching!
module CaseClass
class Case < Struct
def ==(obj)
@risgk
risgk / Nagoya_de_Ruby_Part_I.txt
Last active Dec 22, 2015
名古屋でRuby, パートI (Hamamatsu.rb #31 LT - メモ帳プレゼン用スライド)
View Nagoya_de_Ruby_Part_I.txt
名古屋でRuby, パートI
September 11, 2013
@risgk
@risgk
risgk / simplebool.rb
Created Aug 18, 2013
TAPL 第10章より / 単純型のRuby実装 (ブール値を伴った単純型付きラムダ計算のRuby実装)
View simplebool.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
# ------------------------ SYNTAX ------------------------
# Context management
def addbinding(ctx, x, bind)
[[x, bind]] + ctx
end
@risgk
risgk / untyped.rb
Last active Dec 20, 2015
TAPL 第7章より / 型無しラムダ計算のRuby実装 / 小ステップスタイル
View untyped.rb
# Modifying http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped/ for learning TAPL.
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
def isnamebound(ctx, x)
if ctx[0].nil?
false
else
y = ctx[0][0]; rest = ctx.drop(1)
if y == x
true
@risgk
risgk / arith_big.rb
Last active Dec 17, 2015
TAPL 演習3.5.17 Rubyでの実装例
View arith_big.rb
# TYPES AND PROGRAMMING LANGUAGES by Benjamin C. Pierce Copyright (c)2002 Benjamin C. Pierce
# Excercise 3.5.17
class Array
def isnumericval
t = self
case
when t[0] == :zero
true
when t[0] == :succ
You can’t perform that action at this time.