美味しいパイの作り方
必要な物
- Raspberry Pi 本体
import Data.List | |
import Control.Applicative () | |
import Control.Monad | |
-- | |
--import Data.Set hiding(map,valid,filter,null,foldr) | |
--import Data.Maybe | |
type Board = [[Int]] -- [[Maybe Int]] にして、0 の代わりにNothing のほうがいいとは思う | |
question :: Board | |
question = [ |
(setq load-path (cons "~/.emacs.d/elisp" load-path)) | |
(setq load-path (cons "~/.emacs.d/vendor" load-path)) | |
(setq load-path (cons "~/.emacs.d/config" load-path)) | |
(setq load-path (cons "~/.emacs.d/vendor/slime" load-path)) | |
(require 'cl) | |
;;; フォントサイズ変更 いいのかなこれ | |
(set-face-font 'default "-unknown-Ubuntu Mono-normal-normal-normal-*-16-*-*-*-m-0-iso10646-1") |
$ gpg --fingerprint | |
/home/nona/.gnupg/pubring.gpg | |
----------------------------- | |
pub 2048R/0C3E3AB2 2014-01-09 | |
フィンガー・プリント = 674A 287A 21D2 2431 AD8F D328 AEF3 C3C7 0C3E 3AB2 | |
uid NoNameA 774 (nonamea774@nnn77) <[email protected]> | |
sub 2048R/88B744A0 2014-01-09 | |
$ gpg --export -a [email protected] | |
-----BEGIN PGP PUBLIC KEY BLOCK----- |
#!/usr/bin/env ruby | |
# setting | |
browser_cmd = 'google-chrome-stable' | |
clipboard_cmd = 'xclip' | |
require 'net/http' | |
# get id | |
idfile = ENV['HOME'] + "/.gyazo.id" |
# Contributor: NoNameA 774 <[email protected]> | |
pkgname=ttf-menma | |
pkgver=1 | |
pkgrel=1 | |
pkgdesc="Japanese TrueType fonts created by menma" | |
arch=('any') | |
url="http://www.anohana.jp/tv/special/font.html" | |
license=('custom') | |
depends=('fontconfig' 'xorg-font-utils') |
# Contributor : NoNameA 774 <[email protected]> | |
pkgname=fortune-mod-fortune-2ch | |
pkgver=0.02 | |
pkgrel=1 | |
pkgdesc="UNIX fortune words ぷろでゅーすどばい Unix板の皆様@2ch.net" | |
url="http://pc.2ch.net/test/read.cgi/unix/991752573/" | |
arch=('any') | |
license=('custom') | |
depends=('fortune-mod' 'nkf') |
#include "select.hpp" | |
#include <functional> | |
class GPIO{ | |
public: | |
GPIO(std::function<void(Button)> _callback); | |
void waitButtonPushed(){ | |
callback(select.getPushedButton()); | |
} | |
private: |
#-*- coding: utf-8 -*- | |
# https://github.com/penguin2716/mikutter_shell_post を参考に書いた | |
Plugin.create :md5sum_post do | |
UserConfig[:md5sum_post_with_post] ||= false | |
# postboxの中身をクリアしてイベントをキャンセル | |
def self.clear_post(gui_postbox) | |
Plugin.call(:before_postbox_post, | |
Plugin.create(:gtk).widgetof(gui_postbox).widget_post.buffer.text) |
import Text.Parsec | |
import Text.Parsec.String | |
import Text.Parsec.Prim as Prim | |
data Board = Board { grid :: [[Int]] | |
, score :: Int | |
, won :: Bool | |
, points :: Int | |
, over :: Bool | |
, moved ::Bool |