京都大学 白眉センター|京都大学次世代研究者育成支援事業 「白眉プロジェクト」
  • 概要
    • センター概要
    • センター長挨拶
    • 組織と実施体制
    • 沿革
  • 研究者紹介
  • 採用情報
  • 活動
    • 研究成果
    • 白眉セミナー
    • イベント
    • 白眉年間行事予定
  • 刊行物
    • 白眉要覧
    • 白眉センター便り
    • 活動報告書
    • 白眉冊子
    • シリーズ白眉
  • お問い合わせ・アクセス
  • English
  • 日本語

Latest News

  • Home
  • 最新ニュース
  • 研究成果
  • 論文掲載
2013.02.04 論文掲載 末永 幸平

末永幸平研究者が型システムを用いて資源のリークを防ぐ形式手法についての論文を SPLASH 2012 の OOPSLA Research Paper として発表しました。

関連リンク

http://dl.acm.org/citation.cfm?id=2384618

関連する研究者

末永 幸平
末永幸平研究者がハイブリッドシステムの検証のための「ハイパーストリーム処理モデル」についての論文をPOPL 2013 で発表しました。
Pance Naumov 研究者の論文 "The elusive crystal structure of the neuraminidase inhibitor Tamiflu (oseltamivir phosphate): molecular details of action" が Chemical Communications に掲載されました
Language
  • English
  • 日本語
SNS
京都大学 白眉センター
  • 概要
  • 研究者紹介
  • 採用情報
  • 活動
  • 刊行物
  • お問い合わせ・アクセス

© 2024 kyoto Univercity Hakubi Project. All Rights Reserved.

Scroll