整数を受け取って整数を返す関数のつもりで、私が以下の関数を書いたとします。 // 仕様：この関数は整数を受け取って整数を返す関数だよ！ let my_clever_function x = "hello!" 上のプログラムは当然コンパイルできますし、私は仕様どおり正しい実装を書け…
There is an article in QiitaIt gives us no lore incognitaWe call it the poemThe verse is just flowingAh Poet! You earn views like a cheetah! 参考記事 所感や私感を「ポエム」と呼ぶのをやめろ
注意 きちんとしたテストをしようと思ったのですが、途中でめんどくさくなりました。 条件を揃えたりILを読んだりしてないので余り意味はないかもしれませんが、結果だけここにおいときます。 結論 きちんとわかったこと とくにないです なんとなく思ったこ…
TL; DR 英語のように[tek]と発音する言語よりも、[tex] ([x]は喉の奥から出す「フ」の音)と発音する言語が2倍以上多い(ウィキ調べ) 前置き gfn氏による関数型組版システム、SATySFiが話題になっている。 GitHub - gfngfn/SATySFi: A statically-typed, funct…
作った。 class cin { private static Queue<string> tokens; static cin () { string line; tokens = new Queue<string> (); while ((line = Console.ReadLine ()) != null) { foreach (var token in line.Split (' ')) { tokens.Enqueue (token); } } } public static impl</string></string>…
取り急ぎなので間違っていたらごめんなさい>< 比較 タイトル 歌手 発表年 ズンドコ部分 備考 海軍小唄 不詳 1945以前 トコズンドコズンドコ 流行歌 街の伊達男 田端義夫 1947年 トコズンドコズンドコ 長調 東京ズンドコ 安城美智子 鈴村一郎 1951年 トコ東京…
この記事は 語学/言語学/人工言語合同 Advent Calendar 2017 - Adventar の16日目*1の記事です。 モーラとは何か？ ふゆやすみ いちにちへやで ねてすごす これは575だろうか？イエス。 では何が５で、何が7で、何が5なのだろうか。我々は一体何を数えて5だ…
日本語は高低アクセントの言語である。単語ごとに音の高さのパターンが決まっており、 「宿題」であれば「低高高高」、「広い」であれば「低高低」のパターンで発音される。 実際には語の中で自由に低/高が現れるわけではなく、0個/あるいは1個のアクセント…
合拗音（ごうようおん）とは？ 「くゎ」「ぐゎ」のこと。 日本語の音システム（拗音編） 直音と拗音の対立 日本語では 「か、さ、た、な」などの音と「きゃ、しゃ、ちゃ、にゃ」などの音の対立がある。 訓令式ローマ字では前者は「ka, sa, ta, na」などと表…
英単語によく出てくる○jectの語源についての記事です。 jacio: 投げる “jacio"は「投げる」を意味するラテン語の動詞である。 この動詞は「立てる」「作る」「セットする」「拡散する」「放出する」「据える」「置く」などをも意味する1大変多義な語である。…
Covariant(共変)/Contravariant(反変)/Invariant(不変)について、自分用に走り書きした。 うまく説明できずにもにょったり、どれがどれだかわからなくなった時にこれを読みなおす。 記号 項tは型Tを持つ。 型Aは 型B の部分型である。もし項tがであるならば …
C#を真面目に勉強しようと思い、kekyoさんの Final LINQ Extensions を読んでしょっぱなから衝撃を受けた。 C#ってこんなに簡単に無限列が書けるんだ！ イテレータと無限列 たとえば0の無限列のイテレータは以下の通り。 public static IEnumerable<int> Infinity</int>…
.elのパス確認 scratchで load-path C-j find find パス ./pohe "*.fuga" locate findの早い版。但し検索データベースの情報が古いかも 型付け関係
この記事は愚痴です。 動かないIOラッパ まさかIOでハマるわけがないと思っていた。IOなんて夏学期と夏休みで何回も書いたはずなのに... Carina 内部で用いるデータは4byte単位なので、夏学期に書いたIOをword=4bytes 単位アクセスできるようにちょっとラッ…
備忘録が欲しかったので始めてみることにした。 色んな所にアカウントを作って散逸させてしまう癖があるので、しっかり腰を据えて活用していくつもりだ。
