いつか大人になるときも笑っていてね音:お塩/お家 mylist/35135917 映像:府本もふ mylist/39076200 色コンピレーションアルバム「locloc」収録曲 sm26054977追記: saba(照り焼き)様 広告有難うございます
いつか大人になるときも笑っていてね音:お塩/お家 mylist/35135917 映像:府本もふ mylist/39076200 色コンピレーションアルバム「locloc」収録曲 sm26054977追記: saba(照り焼き)様 広告有難うございます
うちのリンさんたちがひたすらテッテーテレッテーテッテーテレッテーテッテーテレッテーテッテーテレッテッテッテテレー飽きたら負けです。作業用BGMにしてください。★ComicMarket892015.12.31(3日目)東キ32a「GYARISUTA!」にてこちらの動画を投稿するにあたり制作した楽曲やイラスト、漫画が収録されたオールカラー本+CDを頒布します。とらのあなさん委託中!詳しくは→http://bit.ly/22y33j7★iTunes配信中★3DSテーマ配信中→watch/1477987684※なんか途中で動きが止まる人がいるけど、早すぎて止まって見えるだけです(言い訳)★youtube高画質版http://bit.ly/1OnEpae曲名:tettey-terettey横854×縦480/AAC(80kbps)音質GYARI(ココアシガレットP) mylist/6704802Tw
Part 1: the basics · Part 2: design · Part 3: cheating I assume you’ve read the introduction, which tells you the basics of putting a world together. This post is more narrative than mechanical; it’s a tour of my thought process as I try to turn my previous map into something a little more fun to play. I still touch on new editing things I do, but honestly, you already know the bulk of how to use
springer-free-maths-books.md These links no longer work. Springer have pulled the free plug. Graduate texts in mathematics duplicates = multiple editions A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen A Course in Arithmetic, Jean-Pierre Serre A Course in Computational Algebraic Number T
κeenです。少しばかりATS2を触ってみたので成果報告でも。 AVL木は左右のノードの高さが高々1しか違わない平衡二分木です。OCamlやSMLでナイーブに実装すると本当に1しか違わないことを保証するのは難しく、精々テストなどで部分的に検査するだけです。 ところがSMLに似た文法を持つATS2には依存型があり、左右のノードの高さが高々1しか違わないことを型で保証出来ます。 つまり、左右のノードの高さが2以上違う木を作ろうとしてもコンパイルエラーになるのでコンパイルが通れば高さについてはバグがないこと保証されます。 そういうAVL木を使ってTreeSetを作ってみたので紹介します。 私のブログ(のこの記事)の読者ならATS2も依存型もAVL木も知ってそうですが一応説明します。 ATS2って何? 詳しい説明は日本ATSユーザグループに譲るとして、この記事にて重要な点を挙げます。 SMLに似た
When indexing into a vector, you usually have one of two options: enable bounds-checking to throw an exception if you index out of bounds or: disable bounds-checking to improve performance. Both of these options are still unsatisfactory, though. Even if your program fails fast with an exception, your program still failed. Fortunately, Haskell programmers can now select a third option: verify at co
Join me on my journey into statically typed functional languages. I’ve been living a pretty happily dynamic life so far. What’s the fuzz with all those types ? What do they give me in a real life scenario (aka is it worth using for work gigs) ? I need to make an effort and try to figure some of this out. This blog series is an attempt to document some of my experiences along the way through a prac
I love startups, technology, and science. I write about geeky stuff. Mostly. Twitter LinkedIn Github It’s time. IO needs to die a horrible death. As functional programmers, we sometimes delude ourselves into thinking that functional code is always significantly easier to understand, more declarative, and more powerful. That’s just not true, as the following snippets should demonstrate: What the he
▼Programming Languages: Application and Interpretation1 Introduction2 Everything (We Will Say) About Parsing3 A First Look at Interpretation4 A First Taste of Desugaring5 Adding Functions to the Language6 From Substitution to Environments7 Functions Anywhere8 Mutation: Structures and Variables9 Recursion and Cycles: Procedures and Data10 Objects11 Memory Management12 Representation Decisions
Through the last 40 years we have seen the speed of computers growing exponentially. Today's computers have a clock frequency a thousand times higher than the first personal computers in the early 1980's. The amount of RAM memory on a computer has increased by a factor ten thousand, and the hard disk capacity has increased more than a hundred thousand times. We have become so used to this continue
Haskellには抽象的な高階関数や演算子がいくつもあり、たまにそれらを巧妙に用いたコードがでてきて感心することがあります。 他の人が書いたHaskellのコードを読んでいると、なかなか面白いものと遭遇したりします。 巧妙に書かれたコードを解読していくと、実は型クラスのinstanceをうまく組み合わせて使っていて、とてもよい教材になることがあります。 実際にアプリケーションコードを書いていてここまで技巧的なコードを書くわけではありません。しかし、こういうコードを読み解くのは型クラスのいい練習になりますし、それまで知らなかったinstanceと遭遇したりしたときは、とても勉強になるのです。 このエントリーでは、とても技巧的なFizzBuzzを紹介し、それを読み解いていく方法を紹介します。 Haskellの初心者向けに、どういうふうに関数や型を調べて言ったらいいかを丁寧に書いています。 Ha
John Wiegley contrasts his work on C compilers with another way of thinking about code, a way he learned through Haskell. He now distinguishes the meaning of a program from the various physical or electronic effects it causes. In this talk John elaborates on the distinction and concludes with a tour of the Free Monad, a way of encoding meaning as a first-class value. Summary Haskell is practical a
この記事は"Aizu Advent Calendar 2015"25日目として書かれた. はじめに ファイナルベント担当のもぷりです. 今年のAizu Advent Calendarも自作OSについて書いていこうと思います. ゆっくり書いていたらIntroductionがだいぶ長くなってしまったので読み飛ばしてもらっても全然問題ありません. 今までの自作OS ソースコードはすべてgithubに公開してある. mopp/Axel 今までは全て、C言語とアセンブラ(nasm)を使って開発を行ってきた. 対象アーキテクチャはx86_32のみで、不完全なものも含むが、物理/仮想メモリ管理、割り込み、ユーザプロセス、システムコール、ATAデバイスの読み書き、FATファイルシステム対応などなど はりぼてOSにならって、こんな感じの画面をつけたりもした. (こんなところで書くのも何だけれども、OS自作本
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く