Lab-Theory Standing Talks

Complexity, expressivity, syntax and semantics

2025年3月14日(金) 14:00 - 14:30

西宮 優作 (理化学研究所 革新知能統合研究センター (AIP) 自然言語理解チーム 研修生)

I will summarise the philosophical motivations behind two research topics; 1. complexity/computability and 2. logic (structural proof theory), and discuss how they may help us understand what makes some problems harder than others, or equivalently, some knowledge more difficult to attain than others (my broad research goals). I. Complexity/computability Computational complexity and computability theory are a subfield of theoretical computer science in which we mathematically study the 'hardness' of problems. We do so by classifying algorithms or a collection of pre-defined rules that some solver can apply without ingenuity by how much time and memory space they require. II. Structural proof theory Even whilst maintaining the basic idea that a well-formed sentence, or a proposition, is either true or false, one can still make a conscious choice about what kind of principles to permit in deriving a new statement from assumptions. Structural proof theory formalises this as a logical-deduction system to study their effect on what the logic can and cannot do. III. What I do, more specifically I take advantage of equivalences between some computational complexity classes and logic, the latter of which, I hope, can serve as an interface to connect, via semantics, complexity with wider mathematics to elucidate something that can tell us what makes some computation inherently costly. IV. 'Computational view' of science I would love to discuss if time permits, how we may apply the idea of complexity to illuminate how information transfers from one thing to another in physical, biological and social systems.

会場: 研究本館 3階 共有スペース

イベント公式言語: 英語

Sustainable Organic Synthesis with Abundant Resources

2024年4月15日(月) 13:00 - 14:00

浅子 壮美 (理化学研究所 環境資源科学研究センター (CSRS) 機能有機合成化学研究チーム 上級研究員)

The sustainable development of modern society necessitates technologies that harness earth-abundant metals and organic resources, minimizing reliance on scarce materials. This presentation will introduce our recent efforts towards this goal. We have developed sustainable organic synthesis using sodium dispersion, a molybdenum-quinone species for the diazo-free generation of carbene species from stable and readily available compounds, and a SpiroBpy ligand that enables the site-selective functionalization of arenes under remote steric control. I will also share some of the challenges we face in developing these reactions in order to ensure reproducibility.

会場: 研究本館 3階 共有スペース

イベント公式言語: 英語

Basic experimental considerations for analyzing gene expression

2024年2月28日(水) 13:00 - 14:00

藤 博貴 (理化学研究所 開拓研究本部 (CPR) 岩崎RNAシステム生化学研究室 学振特別研究員PD)

Methods such as RNA-sequencing and ribosome profiling are indispensable tools for the comprehensive elucidation of the mechanisms underlying gene expression. A fundamental aspect that requires meticulous attention in the execution of these experiment is the extraction of intact RNA and Ribosomes. The integrity and purity of the extracted RNA is critical to ensure the accuracy and reliability of the sequencing data. In this seminar, I will introduce the basic but key points of the extraction process.

会場: 研究本館 3階 共有スペース

イベント公式言語: 英語

Lab-Theory Standing Talk #2

2023年9月5日(火) 13:00 - 13:50

西宮 優作

会場: 研究本館 3階 共有スペース

イベント公式言語: 英語

Lab-Theory Standing Talks #1

2023年3月16日(木) 13:00 - 13:30

大岡 英史 (理化学研究所 環境資源科学研究センター (CSRS) 生体機能触媒研究チーム 研究員)

会場: 研究本館 3階 共有スペース

イベント公式言語: 英語