美味しいパイの作り方
必要な物
- 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 |