| MIT License | |
| Copyright (c) 2023 xkikeg | |
| Permission is hereby granted, free of charge, to any person obtaining a copy | |
| of this software and associated documentation files (the "Software"), to deal | |
| in the Software without restriction, including without limitation the rights | |
| to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
| copies of the Software, and to permit persons to whom the Software is | |
| furnished to do so, subject to the following conditions: |
| // ==UserScript== | |
| // @name Revolut.com to ledger | |
| // @version 1.2 | |
| // @grant GM.setClipboard | |
| // @require https://ajax.googleapis.com/ajax/libs/jquery/3.7.1/jquery.min.js | |
| // @require https://gist.github.com/raw/2625891/waitForKeyElements.js | |
| // @match https://app.revolut.com/transactions* | |
| // ==/UserScript== | |
| // ==UserScript== | |
| // @name Moneyforward to ledger | |
| // @version 1 | |
| // @grant GM.setClipboard | |
| // @require https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js | |
| // @match https://moneyforward.com/accounts/show/* | |
| // ==/UserScript== | |
| function runReport(node) { | |
| var result = []; |
| // ==UserScript== | |
| // @name Wise.com to ledger | |
| // @version 1 | |
| // @grant GM.setClipboard | |
| // @require https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js | |
| // @require https://gist.github.com/raw/2625891/waitForKeyElements.js | |
| // @match https://wise.com/user/account/* | |
| // ==/UserScript== | |
| function getPayee(node) { |
| $ # Ubuntu | |
| $ # nodebrewで入れた see http://qiita.com/sinmetal/items/154e81823f386279b33c | |
| $ # Mac | |
| $ brew install node |
| Copyright (c) 2014 liquid_amber | |
| Permission is hereby granted, free of charge, to any person obtaining | |
| a copy of this software and associated documentation files (the | |
| "Software"), to deal in the Software without restriction, including | |
| without limitation the rights to use, copy, modify, merge, publish, | |
| distribute, sublicense, and/or sell copies of the Software, and to | |
| permit persons to whom the Software is furnished to do so, subject to | |
| the following conditions: |
| // for test | |
| #include <memory> | |
| #include <string> | |
| #include <vector> | |
| #include "type_inclusion.hh" | |
| #define TO_STR(x) TO_STR_(x) | |
| #define TO_STR_(x) #x | |
| #define STATIC_ASSERT_SIMPLE(x) static_assert(x, TO_STR(x)); |
| import System.IO (hFlush, stdout) | |
| import Control.Concurrent (threadDelay) | |
| main = do | |
| putStr "\ESC[0G\ESC[0Ktest1 " >> hFlush stdout | |
| threadDelay 1000000 | |
| putStr "\ESC[0G\ESC[0Ktest2 " >> hFlush stdout | |
| threadDelay 1000000 | |
| putStr "\ESC[0G\ESC[0Ktest3 " >> hFlush stdout | |
| putStrLn "" |
BNFで定義したプログラムを自然演繹スタイルの推論規則として記述することができる。注意すべき点は実際には推論規則ではなく推論規則のスキーマ(C++的に言えばテンプレート)であるということ。実際にはメタ変数tには任意の項が入ってくる。 これらの構造に対する深さ、大きさなどを定義している。また、構造的な帰納法を定義している。
上の項（プログラムと言ってもいい）がどのような意味を持つかを定義する。ここでは抽象機械を想定して意味を考えていく。 まず、項の意味というのは最終的には値である。とりあえずbooleanを考えるならtrueとfalseが値である。項を値になるまで簡約 (reduction)していくのが評価 (evaluation)ということになるが、この本ではreductionのステップを評価と読んでいる。本の流儀に合わせて評価と呼ぶことにしよう。 ここでも自然演繹スタイルの推論規則として評価関係を考えている。数学的に言う関係とは、例えば2項関係であれば特定のs∈S, t∈Tに対してR(s, t)が言える時のRであった。要は「ある項tを持ってきて評価すると項t'になるよ」ってことだ。
| {-# LANGUAGE OverloadedStrings #-} | |
| import Control.Applicative | |
| import Data.Binary.Get | |
| import qualified Data.ByteString as BS | |
| import Data.Conduit | |
| import Data.Conduit.Serialization.Binary | |
| import Data.Word | |
| query :: BS.ByteString |