typo 死ぬほど多いので突っ込みまってます
| バージョン: | 0.2.3 |
|---|---|
| 作者: | @voluntas |
考え方はコロコロ変わるタイプなのですが、最近はレビューが実はとても大事でとにもかくにもレビューなのでは?と思い始めてきています。
| // 失敗版 | |
| sig Coin {} | |
| abstract sig State { | |
| candidates : set Coin, | |
| } | |
| sig Branch extends State { | |
| left, right : set Coin, | |
| eq, lt, gt : State |
| # tropical.rb | |
| # an implementation of complex numbers with tropical flavor | |
| # | |
| # self == e^{ord + 2 \pi i arg} | |
| class Class | |
| def get *args, &block | |
| (new *args, &block).identity | |
| end | |
| end |
| def not_implemented | |
| puts "#{inspect} : #{self.class}" | |
| raise NotImplementedError | |
| end | |
| $radix ||= 10 # 2 <= $radix <= 36 | |
| $adic ||= 10**4 # 2 <= $adic | |
| $delim ||= ',' # or '|', etc. | |
| $type ||= :arch # or :adic | |
| $prec ||= 4 # default precision |
| temp_image = Image.open("picture.png") | |
| raw_image = temp_image.tostring() | |
| image = pyglet.image.ImageData(width, height, 'RGB', raw_image, pitch= -resized_x * 3) |
| # -*- coding: utf-8 -*- | |
| # | |
| # メディアマーカーの CSV をブクログ形式にするやつ | |
| # 使い方 | |
| # ruby mm2bl.rb /path/to/MediaMarkerExport.csv > output.csv | |
| # 参考 | |
| # http://d.hatena.ne.jp/Unicellular/20120507/1336411135 | |
| require 'csv' |
| #!/usr/bin/env python | |
| # Contact: Will Wade willwa.de | |
| # Date: April 2013 | |
| # Needs mechanize and pybtex | |
| # | |
| # NB: Little error checking going on in this script | |
| # TO-DO: Check last-download-date of bibtex file later than last-modified date on CUL. ? possible | |
| # | |
| # With thanks to https://pypi.python.org/pypi/citeulike_api/0.1.3dev for the login part | |
| import mechanize |
| require 'net/http' | |
| require 'uri' | |
| url = URI.parse(ARGV[0]) | |
| http = Net::HTTP.new(url.host, url.port) | |
| path = url.path != '' ? url.path : '/' | |
| path += url.query ? "?#{url.query}" : "" | |
| secs = [] |