Skip to content

Instantly share code, notes, and snippets.

正月番組石ちゃんの行ったとこ
場外市場
海鮮丼とか
スキージャンプ場
ラム肉
小樽市場
蟹・うに・いくらの三色丼
あんこう鍋
サッポロ
@yonta
yonta / sendmoremoney.sml
Last active December 18, 2015 21:59
solve "send more money" in SML
(*
* "send more money" is quiz.
* One character means one number.
* All characters are different each other.
* Numbers satisfy following condition.
*
* send
* +) more
* --------
* money
(* repl_test.sml *)
use "../lib/smlsharp-lib/GetOpt.sml"
use "Base.sml"
structure GO = GetOpt
datatype commandLineArgs =
Help
| Version
| ConfigFilePath of string
val options =
[
http://hm13chibi.blog36.fc2.com/blog-entry-632.html
@yonta
yonta / random_stap.c
Last active August 29, 2015 14:02
はやりのランダムSTAP細胞
#include <stdio.h>
#include <time.h>
#include <stdlib.h>
#include <string.h>
#define ANS "STAP"
void rand_stap(char* buff){
int i;
for(i=0; i<4; i++)

制度

  • 有休…
  • 病休…
  • 育休…
  • 年収(月給、賞与など)…
  • 住宅補助…
  • 通勤補助…
  • 資格手当…
  • 人事評価…
@yonta
yonta / gist:75771f2ed5f7ca9533e6
Created August 4, 2014 04:54
msys git/hg memo
source /c/Git/etc/git-completion.bash
source /c/Git/etc/git-prompt.sh
GIT_PS1_SHOWDIRTYSTATE="true" # non empty value
source /c/Mercurial/Contrib/bash_completion
@yonta
yonta / suffix-space.patch
Created October 9, 2014 00:37
twittering-mode patch
diff --git a/twittering-mode.el b/twittering-mode.el
index d345b0a..13bd792 100644
--- a/twittering-mode.el
+++ b/twittering-mode.el
@@ -639,6 +639,9 @@ An interval for a timeline is determined as follows;
(defvar twittering-relative-retrieval-count-alist '()
"An alist for counting retrieval of primary timelines.")
+(defvar twittering-suffix-space-size 0
+ "Width of a non using area before end-of-line in twittering-mode windows, when using a `%FOLD' fomat.")
fun id x = x;;
@yonta
yonta / SMLCheetSheet.md
Last active February 9, 2022 12:59
SML Cheet Sheet

SMLチートシート

  • SMLは宣言を並べていく言語
    • 宣言同士は;で区切れる(省略可)
    • REPLの多くは;ごとにコンパイルが走る
  • 拡張子は.sml
    • シグネチャーは.sig
    • SML#ではインタフェースファイル.smiもある
    • NJではコンパイル用に.cm、MLtonでは.mlbなども
  • 構成、分解の例を使って説明する