惣誉

実家から送ってきた酒。 あんま記憶に残らん。

1247574921

保管が良くなかったせいもあるだろうからなんとも言えない。

数学ガール/ゲーデルの不完全性定理

先日、はじめての現代数学を読んだとき、ゲーデルの不完全性定理がいまいちつかめんとか書いてた。

で、数学ガールの三作目がまさにゲーデルの不完全性定理をあつかったものらしく、今から楽しみ。

ProductName 数学ガール (数学ガールシリーズ 1)
結城 浩
ソフトバンククリエイティブ / 1890円 ( 2007-06-27 )


ProductName 数学ガール フェルマーの最終定理 (数学ガールシリーズ 2)
結城 浩
ソフトバンククリエイティブ / 1890円 ( 2008-07-30 )


BUTTERFLIES / LiquidEDGE

よいですな。

Mutation Exclusive Label Mix Bundle

Mutationっていうlabel結構好きかもしれん。

PK3-1

設問1はクリアランスのパラメータを求める

設問2,3はi.v., p.o.それぞれの状況でパラメータを変えた場合どう変化するかを推定する

ProductName ファーマコキネティクス―演習による理解
杉山 雄一,山下 伸二,加藤 基浩
南山堂 / ¥ 6,300 ()
在庫あり。

設問1

> data <- read.csv("/Users/kzfm/PK/pk31.csv")
> data
  CLtot   Vd   fe  fb  Ka
A   0.2  0.1 1.00 0.1 1.5
B   0.2 10.0 1.00 0.1 1.5
C   1.3  0.1 0.02 0.1 1.5
D   1.3 10.0 0.02 0.1 1.5

> Qh <- 1.4
> Qr <- 1.1
> GFR <- 0.17
> Vb <- 0.077

> CLh <- (1-fe)*CLtot
> CLh
[1] 0.000 0.000 1.274 1.274

> CLr <- fe*CLtot
> CLr
[1] 0.200 0.200 0.026 0.026

> CLh_uint <- Qh*CLh/(fb*(Qh-CLh))
> CLh_uint
[1]   0.0000   0.0000 141.5556 141.5556

> CLr_uint <- Qr*(CLr -fb*GFR)/((Qr-CLr+fb*GFR)*fb)
> CLr_uint
[1] 2.19520174 2.19520174 0.09074244 0.09074244

設問2

AUCiv = D/CLtot

  1. fbの変動によって影響を受けるパラメータはVd,CLtot
  2. Qhの変動により影響を受けるパラメータはCLh
    • CLh = Qh*fb*CLh_uint/(Qh + fb*CLh_uint)なので分母の項の大小で律速が決まる
  3. CLr_uintの変動により影響をうけるのはCLr
  4. CLh_uintの変動により影響をうけるのはCLh

設問3

flip-flopを考える

大山で大担麺

富士の大山

冷やし大担麺。氷も入ってよく冷えとる。胡麻の風味がなかなかだが、思ったより辛くなかった。半ライスがついてて、残ったスープで食べるとうまいとのこと。

1247314130

えびつけ麺(大盛り)

1247314134

OCamlのUnknow directive

ocamlnetのhttp clientのサンプルを実行しようとしたら

#require "netclient";;
open Http_client.Convenience;;
let get_and_print url =
  let s = http_get url in
  print_string s;
  flush stdout
;;

このrequireでエラー

# #require "netclient";;
Unknown directive `require'.

解決方法

sudo port install caml-findlib

で、.ocamlinitに

#use "topfind"

と書いておく。

モジュールっていうかライブラリ周りの流儀がまだよく分かってない。

macbookのmatplotlibでLookupError

macbookでmatplotlibを使っていたら出たエラー。

LookupError: unknown encoding: X-MAC-JAPANESE

/opt/local/Library/Frameworks/Python.framework/Versions/2.6/lib/python2.6/site-packages/matplotlib/cbook.pyというファイルを書き換えた

def unicode_safe(s):
    if preferredencoding is None: return unicode(s)
    elif preferredencoding == 'X-MAC-JAPANESE': return unicode(s)
    else: return unicode(s, preferredencoding)

ファーマコキネティクス 3章メモ

クリアランスの章

  • 固有クリアランスは血流や蛋白結合性などの影響を受けない本質的なパラメータ
  • 組織クリアランスと固有クリアランスの関係は、流入、流出する薬物濃度と細胞内薬物濃度の関係
  • 全身クリアランスは静注速度を定常状態の血中濃度で除する
  • 糸球体での薬物濾過速度は薬物によらずほぼ一定
  • 血液血漿濃度比

ProductName ファーマコキネティクス―演習による理解
杉山 雄一,山下 伸二,加藤 基浩
南山堂 / ¥ 6,300 ()
在庫あり。

情報アプライアンスと研究業務

僕の場合はdryオンリーってのもあるんだけど、TDD(Title driven development)というか、最初にタスクに名前を付けるとそれ用のWikiのエントリが出来るようになっていて、さらに、よくやる計算だと計算結果とかが自動的にWikiに足されていくようになってる(XML-RPCで)。 で、そのデータはpdfにもWORDのフォーマットでも出力できるので、レポーティングは結構ラクチンだし、自分の仕事の把握も容易だ。

もう少しTasklogとかWorkLogみたいなものもリアルタイムで取っておいて、適当に学習させて、自動的に重要そうなログを切り取ってwikiに貼付けるかタグふるようなソフトウェアがあれば、快適なんだけどなぁと思う。

さらに会議なんかも、リアルタイムで録画しときつつ、ニコニコ動画みたいに重要なタイミングでコメントつけとけば、議事録かかなくていいよねとか。書記の仕事も、おーいまこいついいこと言ったっていうタイミングでタグふればいいだけだし。まぁ、文字が右から左に流れる必要はないけど、コメントタグが時間軸毎に並んでいることは重要だし、できればマインドマップみたいに、コメントの関連性を二次元的な空間で編集できるといいかもしれん。

実際会議なんてUstreamみたいになっていれば、その場に座ってる必要ないし、実験とか計算しながら把握できてよかろう。

ProductName パソコンを隠せ、アナログ発想でいこう!―複雑さに別れを告げ、“情報アプライアンス”へ
ドナルド・A. ノーマン,安村 通晃,岡本 明,伊賀 聡一郎,Donald A. Norman
新曜社 / ¥ 3,465 ()
在庫あり。

ProductName 未来のモノのデザイン
ドナルド・A・ノーマン
新曜社 / ¥ 2,730 ()
在庫あり。

で、そういうことをやる端末としては別にパソコンでなくてよいわけで、もっと持ち運びに便利なiPhoneとかAndroidとか面白そうだなと思ってたのでこの前のワークショップのときに聞いてみたんだけど、入力が手間らしいのね。

うーん、自分でも触ってみないとわからんのう。iPhoneかAndroid携帯ほしいなぁ。

ProductName Google Androidプログラミング入門
江川 崇,竹端 進,山田 暁通,麻野 耕一,山岡 敏夫,藤井 大助,藤田 泰介,佐野 徹郎
アスキー・メディアワークス / ¥ 3,990 ()
在庫あり。

「英語で考えるスピーキング」を読んだ

英語でプレゼンして、自分のダメさ加減に凹んだ。質疑の際に言ってることはわかるんだけど、言葉がさらっと出てこない。

ProductName ドクター・ヴァンスの 英語で考えるスピーキング―すらすら話すための7つの思考法
ウィリアム A. ヴァンス
ダイヤモンド社 / ¥ 1,680 ()
在庫あり。

  • 動詞を覚えろ
  • SEE
    • Seek a shared item
    • Expand your response
    • Encourage more conversationo
  • メッセージをデザインする