思いつきメモ [archive]
2016
6月
2015
5月
3月
1月
2014
12月
5月
- ZYBOのSDカードブート
- ZYBOでLinux (使用メモリを制限)
- ZynqのPLを操作するLinuxドライバ (ユーザプログラム編)
- ZynqのPLを操作するLinuxドライバ (DTS設定編)
- ZynqのPLロジックからARMへの割り込み実験
- Zynq上でのLinuxアプリケーションのデバッグ方法
- Linux on Zynq (ZYBO)
4月
2月
2013
11月
- Dependently Typed Metaprogramming (in Agda) メモ (3) tabulate
- Dependently Typed Metaprogramming (in Agda) メモ (2) 有限集合Finについて
- Dependently Typed Metaprogramming (in Agda) メモ
10月
9月
8月
7月
6月
5月
- [Android] Failure [INSTALL_PARSE_FAILED_INCONSISTENT_CERTIFICATES]の対応方法
- androidのHttpURLConnection::getInputStreamでjava.io.FileNotFoundException
- SQLiteの時刻取得精度について調査した
4月
3月
2月
1月
2012
12月
11月
9月
8月
7月
4月
3月
2月
1月
2011
11月
9月
8月
6月
5月
- MySQL + cl-mysql によるPrepared Statement
- Android アプリ開発メモ
- quicklisp + mysql メモ
- [Android] ImageViewのsetImageResourceでの描画処理
- jQuery.ajax関数のsuccessコールバック内でHTTPリダイレクトか否かを判定する方法
4月
3月
- Xilinx Flashコンフィグレーション
- ボールペン
- MicroBlaze + IPコア(続き)
- XPS IPコアでのVerilogモジュールの使用
- PLB slave single
- C to Verilog (2)
- LMBの使い方