LAB LOGA page on LabLog, a review site (not the lab's official page)
数理論理学（ガイナ ダニエル）
Showing the original Japanese · View translation
数理論理学や圏論、形式手法を専門とする研究室。
AboutAbout the lab
数理論理学・圏論・形式手法を専門とする。
数理論理学の
共創学部の
九州大学の
教員紹介ページには、
Key terms
- 数理論理学
- 正しい
推論や 証明の しくみを、 数学の 対象と して 調べる 分野 - 圏論
- 数学の
いろいろな 対象どうしの 関係を、 矢印の つながりで 整理してとらえる 数学の 分野 - 形式手法
- ソフトウェアや
システムの 仕様を 数学の 言葉で 書き、 正しく 動く ことを 確かめる 方法
ResearchResearch themes
専門分野は、
MembersFaculty
- Associate Professorガイナ ダニエル
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to 数理論理学（ガイナ ダニエル）
The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “High Threshold Logic circuit diagram” Jain.dhrj / CC BY-SA 3.0 (cropped)
- Related lab (地球物理学
（大野 正夫） ): “Tavurvur volcano edit” Taro Taylor edit by Richard Bartz / CC BY 2.0 (cropped) - Related lab (〈自然地理学〉): “Malolo Barrier Reef 5” Maksym Kozlenko / CC BY-SA 4.0 (cropped)
- Related lab (自然地理学
（菅 浩伸） ): “Aerial views of The Great Barrier Reef, Queensland (Ank Kumar) 01” Ank gsx / CC BY-SA 4.0 (cropped) - Related lab (
〈動物栄養生理学〉): “Broiler Chickens 001” Icem4k / CC BY-SA 4.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.