人気ブログランキング | 話題のタグを見る

とりとめのないことを書いております。
by tempurature
カテゴリ
全体
プログラミング
scheme
verilog
未分類
以前の記事
2016年 04月
2016年 03月
2016年 02月
2016年 01月
2015年 12月
2015年 11月
2015年 10月
2015年 09月
2015年 08月
2015年 07月
2015年 06月
2015年 03月
お気に入りブログ
PHPで競技プログラミング
メモ帳
最新のトラックバック
ライフログ
検索
タグ
その他のジャンル
ブログパーツ
最新の記事
情報処理技術者試験 お疲れ様..
at 2016-04-17 18:55
基本情報技術者試験 平成27..
at 2016-04-14 04:48
基本情報技術者試験 平成27..
at 2016-04-13 23:03
苦い薬(ハーブ、サプリメント..
at 2016-04-09 14:03
「おバカ度チェックリスト」を..
at 2016-03-24 09:54
外部リンク
ファン
記事ランキング
ブログジャンル
画像一覧
SICPに対する批判
SICPについてのおもしろい批判をされている方がいらっしゃったのであげておきます。


私もOCaml興味あったんですけど、一週間くらいでできるのであればやってみたいなと。


# by tempurature | 2015-07-05 15:28 | scheme
【racket】翻訳:Racket Documentation
Racket v6.2

Racket Documentation

はじめに

チュートリアル
クイックチュートリアル: 画像を使ったRacketの概要
さらに: RacketでWebアプリ
もっと: Racketでシステムプログラミング

Racket言語とコアライブラリ
Racketガイド
Racketリファレンス

Racketにおけるパッケージ管理
Racketドローイングツールキット
Racketグラフィカルインターフェースツールキット
Racket Foreign インターフェース(FFI)
Scribble: Racketドキュメンテーションツール
DrRacket: Racketプログラミング環境
raco: Racketコマンドラインツール

Racketプログラミングの方法

教育
プログラミング設計手法(HtDP: How to Design Programs)
プログラミング言語設計手法
ティーチパック設計手法

書籍「Essentials of Programming Languages」に登場する言語
書籍「Programming Languages: Application and Interpretation」(PLAI)
書籍「Picuturing Programs」のティーチパック
書籍「Die Macht der Abstraktion」のティーチパック

Racket環境で扱う他の言語
Typed Racketガイド
Typed Racketリファレンス
R6RS: Scheme
Datalog: 演繹データベースプログラミング

ツール
RacketでのWebアプリ
futureモジュールの可視化ツール
最適化コーチ
PLaneT: 自動パッケージディストリビューション
Racklog: Prolog風ロジックプログラミング
RackUnit: ユニットテスト
Redex: 実用的なセマンティックエンジニアリング
プリプロセッサとしてのScribble
Slideshow: 図表とプレゼンテーションのツール
Web Server: HTTPサーバ

DrRacketプラグイン

DrRacketツール

GUI・グラフィックライブラリ
Framework: Racket GUIアプリケーションフレームワーク
Pict: 機能的なピクチャーライブラリ
Pict Snip: PictオブジェクトからSnipインスタンスを構築する

Browser: 簡易HTMLレンダリング
Cards: 仮想ゲームカードライブラリ
Embedded GUI: エディタ付きのウィジェット
Games: 楽しい例
GL Board Game: 3Dゲームサポート
Images
Plot: グラフ描画
Turtle Graphics
MrLib: 追加GUIライブラリ
GL: 3Dグラフィックス
String Constants: GUI国際化対応
Syntax Color: ユーティリティ

ネットワークライブラリ
Distributed Places
OpenSSL: セキュア通信
Net: ネットワーキングライブラリ
Windows Native SSL: セキュア通信

パーサライブラリ
HTML: パーサライブラリ
JSON
Parser Tools: lex/yaccスタイルパージング
File: Racket ファイル・フォーマットライブラリ
XML: パージング・ライティング

ツールライブラリ
Dynext: Cコンパイラ・リンカの実行
Macro Debugger: マクロ展開を追跡
Make: 依存性マネージャ
Readline: REPL
Errortrace: デバッグ・プロファイリング
契約プロファイリング
Trace: ファンクションコールを表示するツール
Profile: 統計プロファイラ
SLaTeX ラッパ
テストサポート
Version: Racket バージョンチェッキング
XREPL: 拡張REPL

低レベルAPI
Inside: Racket C API

相互運用性
MzCOM: Windows COMオブジェクトとしてのRacket

その他のライブラリ
SRFI: SRFIライブラリ

Data: データ構造
DB: データベース接続
".DS_Store" ファイルをリード・ライトする(Mac OS X)
ヘルプ・ドキュメンテーションユーティリティ
バグレポート
HtDPティーチパック・ライブラリ、またはカスタムティーチパックを実装する
数学ライブラリ
Scriblib: 拡張Scribbleライブラリ
GUI ".plt" インストーラ
The Stepper
Swindle
Syntax: メタプログラミングヘルパー
DrRacket バージョンツール

実験的言語とライブラリ
FrTime: 反応プログラミングのための言語
Lazy Racket

Algol 60

Unstable Find: 予告なしに変更される内容
Unstable: 予告なしに変更される内容
Unstable GUI: 予告なしに変更される内容
Unstable Flonums: 予告なしに変更される内容
Unstable Redex: 予告なしに変更される内容

レガシー言語とライブラリ
R5RS: レガシーScheme
Scheme: 互換ライブラリと実行ファイル

Compatibility: Racketに近い言語からの移植のため
MysterX: Windows COMのためのレガシーサポート
MzScheme: レガシー言語
mzpp/mztext: プリプロセッサ
Graphics: レガシーライブラリ
MzLib: レガシーライブラリ


# by tempurature | 2015-07-05 00:17 | scheme
Cygwinを10倍使いやすくするたった1つのコマンド
このコマンドを知るまではCygwinを使う気がしなかったので、VirtualBox上にUbuntuをインストールして作業していました。

Cygwinを10倍使いやすくするコマンドはこれです。

explorer .

これで、Cygwinのホームディレクトリ(フォルダ)のエクスプローラが開きます。
これを知らないと自分でホームをたどらないといけないので面倒です。

Cygwinは日本語対応がきちんとしているし、bashコマンドも一通り揃っているし、WindowsユーザーはCygwinを使うべきでしょう。


# by tempurature | 2015-07-04 19:33
Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)
exciteブログでマイスキンを追加する際に、はまったので書いておきます。

①自分のブログから「設定」を選択

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_18513258.png












②「デザインスキン」を選択

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_18531531.png















③「PCデザインスキン」で適当なスキンの画像を保存する

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_18565527.png











④「PCデザインスキン」で「マイスキンを作成」を選択する

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_18590020.png












⑤「PCデザインスキン編集」で「スキン名」「スキンイメージ」を入力する
(「スキンイメージ」の画像は③で保存したものを使用します)

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_19033998.png














⑥「作成する」を選択します

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_19053201.png















⑦スキンが追加されました。あとはこのスキンを好みに合わせて編集すれば完了です。

Exciteブログでマイスキンを追加する方法(CSS等を書き換える方法)_c0364169_19070638.png















# by tempurature | 2015-07-04 19:09
ソースコード装飾スクリプト
Exciteブログにソースコードを貼り付けるには、文字列置換が必要だということで、スクリプトを作ってみました。
本当はracketで作りたかったのですが、勉強中の言語なので、sedを使って作りました。

#!/bin/sh

echo '<div class="code" style="font-family:monospace;">'

sed -e 's/\&/\&amp;/g' $1 \
| sed -e 's/ /\&nbsp;/g' \
| sed -e 's/</\&lt;/g' \
| sed -e 's/>/\&gt;/g' \
| sed -e 's/\(.*\)/\1<br\/>/g'

echo '</div>'


# by tempurature | 2015-07-04 18:27