ＪＳＴＷｅｂラーニングプラザオススメ 京都大学理学部（理論分子生物学）講義資料 東京大学バイオインフォマティクスの基礎実習資料 分散コンピューティングプロジェクトの紹介 細胞生物学 新潟薬科大学応用生命科学部の講義資料 たんぱく質の立体構造 研究…

日本語訳は生命情報科学。国立衛生研究所（NIH）の生物医学情報科学技術イニシアチブ（BISTI）コンソーシアムの定義は、以下の通りである。 バイオインフォマティクス： 生物学、医学、行動学、健康に関するデータの取得、蓄積、体系化、データベース化（arc…

最近は、可変長レコードの型推論アルゴリズムを実装するために基礎理論を勉強している。OCamlと同じ理論に基づいた実装にしようと思い、[Remy92]*1、[Remy93]*2をあたりを読んでみた。これらを読み進めていく過程でSyntactic Theory(統語論)なるものがありそ…