ルーレットオンライン

龍谷大学　You, Unlimited 受験生の方 在学生・学内の方 卒業生の方 保護者の方 企業・一般の方 ご寄付をお考えの方 MENU Search Access Contact YouTube Faculty of Advanced Science and Technology先端理工学部 先端理工学部トップへ 学部概要 学部概要インデックス 学部長メッセージ カリキュラム 施設・設備紹介 研究室公開 理工ジャーナル 課程紹介 課程紹介インデックス 数理・情報科学課程 知能情報メディア課程 電子情報通信課程 機械工学・ロボティクス課程 応用化学課程 環境生態工学課程 教員・スタッフ紹介 教員・スタッフ紹介インデックス 数理情報学科 情報メディア学科 電子情報学科 機械システム工学科 物質化学科 環境ソリューション工学科 資格・就職 資格・就職インデックス キャリアセンター 在学生のみなさんへ 関連リンク サイトマップ お問い合わせ・アクセス ニュースセンター ニュースセンター トピックス 受験生の方 在学生・学内の方 卒業生の方 保護者の方 企業・一般の方 ご寄付をお考えの方 言語 日本語 English 中文 Need Help? Faculty of Advanced Science and Technology 先端理工学部 ホーム 先端理工学部 教員・スタッフ紹介 中野 浩（なかの ひろし） 中野 浩（なかの ひろし） 教員氏名 中野 浩（なかの ひろし） 教授 学位 博士（理学） 学歴 京都大・院・理 専門分野 構成的プログラミング、型理論、λ計算 研究課題（長期） プログラミングに現れる論理構造の解析 研究課題（短期） オブジェクト指向プログラミングの論理 研究者データベース--> researchmap センタンLAB 個人ページ--> タイトルタイトルタイトル--> 研究テーマ：プログラミングの論理 プログラミングの世界には、オブジェクトとそのクラス、継承、状態遷移、再帰、並行処理、同期、資源とその共有、排他制御、例外処理、種々のデザインパターンなど、様々な特徴的な概念・手法が現れ、ソフトウェア開発の現場では、これらを各プログラマの共通理解とすることがプロジェクトの遂行に必須となっています。 ところが、これらの概念・手法は、それぞれ個別にはかなり明快に説明することができても、その間の相互作用を含めて、これらすべてを記述・説明できるような共通の言語が存在していません。私たちは、プログラミングを人間の論理的な活動と捉え、現実のプログラマが駆使している概念や手法を分析して、その諸相を論理体系として形式化することで、その共通の言語となるものを構築することを目標としています。 最近の研究では、オブジェクト指向プログラミングに必須となる負の自己参照を許すような様相付き型付けシステム（一種の様相論理体系）を提案しています。 負の自己参照を許す型付けシステム 収束定理 GO TO TOP Request Information 資料請求 REQUEST Quick Links クイックリンク Twitter Facebook YouTube Instagram LINE 入試情報 大学紹介・研究 研究所・研究センター 各種センター 学部・大学院 学生生活・就職支援 主な大学施設 龍谷大学基本構想400 認証評価 researchmap 教員データベース メディア登場一覧 webシラバス 教職員Web Mail ポータルサイト（学内者向け） 授業等の休講措置に関する取扱基準 龍谷大学への支援（寄付）について ReTACTION（リタクション） Academic Doors 龍谷大学付属 平安高等学校・中学校 資料請求 採用情報 サイトマップ サイトポリシー 個人情報保護への取り組み アクセシビリティについて リンク Copyright © RYUKOKU UNIVERSITY.　All Rights Reserved. 龍谷大学 〒612-8577 京都市伏見区深草塚本町67 TEL 075-642-1111　FAX 075-642-8867