下部直腸癌における側方リンパ節転移予測モデルの作成と評価

京都大学新制・課程博士博士(医学)甲第24281号医博第4897号新制||医||1061(附属図書館)京都大学大学院医学研究科医学専攻(主査)教授 森田 智視, 教授 妹尾 浩, 教授 波多野 悦朗学位規則第4条第1項該当Doctor of Medical ScienceKyoto UniversityDFA

Logical Relations for Encryption (Extended Abstract)

The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning about information hiding in the polymorphic λ-calculus. We investigate the application of these tools in the security domain by defining a cryptographic λ-calculus -- an extension of the standard simply typed λ-calculus with primitives for encryption, decryption, and key generation -- and introducing logical relations for this calculus that can be used to prove behavioral equivalences between programs that rely on encryption. We illustrate the framework by encoding some simple security protocols, including the Needham-Schroeder public-key protocol. We give a natural account of the well-known attack on the original protocol and a straightforward proof that the improved variant of the protocol is secure

Limitations of Applicative Bisimulation (Preliminary Report)

We present a series of examples that illuminate an important aspect of the semantics of higher-order functions with local state. Namely that certain behaviour of such functions can only be observed by pro- viding them with arguments that contain the functions themselves. This provides evidence for the necessity of complex conditions for functions in modern semantics for state, such as logical relations and Kripke-like bisimulations, where related functions are applied to related arguments (that may contain the functions). It also suggests that simpler semantics, such as those based on applicative bisimulations where functions are ap- plied to identical arguments, would not scale to higher-order languages with local state

沖縄とツーリズム

[金沢大学連携融合事業]日中無形文化遺産, シンポジウム主催 : 金沢大学連携融合事業「日中両国における無形文化遺産保護と新文化伝統創出に関する事業

Observation of Magnetic Edge State and Dangling Bond State on Nanographene in Activated Carbon Fibers

The electronic structure of nanographene in pristine and fluorinated activated carbon fibers (ACFs) have been investigated with near-edge x-ray absorption fine structure (NEXAFS) and compared with magnetic properties we reported on previously. In pristine ACFs in which magnetic properties are governed by non-bonding edge states of the \pi-electron, a pre-peak assigned to the edge state was observed below the conduction electron {\pi}* peak close to the Fermi level in NEXAFS. Via the fluorination of the ACFs, an extra peak, which was assigned to the \sigma-dangling bond state, was observed between the pre-peak of the edge state and the {\pi}* peak in the NEXAFS profile. The intensities of the extra peak correlate closely with the spin concentration created upon fluorination. The combination of the NEXAFS and magnetic measurement results confirms the coexistence of the magnetic edge states of \pi-electrons and dangling bond states of \sigma-electrons on fluorinated nanographene sheets.Comment: 4 figures, to appear in Phys. Rev.

The body of a patient and rational treatment in the managed care era

This study aims to identify conceptions of the body, as well as "rational" treatment among primary care practitioners (PCPs) and emergency medicine practitioners (EMPs) dealing with managed care plans. I conducted ethnographic study throughout 1996, and interviewed six PCPs and four EMPs. In the course of my interviews, I discovered that EMPs' and PCPs' perceived meaning and power in regards to treatment of their patients has been increasingly resituated by the power of scientific discourse as utilized by technocrats (such as consumer, provider, and insurance organizations who formulate managed care plans). Technocrats have developed scientific measurements to monitor physicians' performances, quantifiably or scientifically. Technocrats conceptualize ideal treatment as a cost effective care. They guide PCPs to supervise ideal treatment of the managed care delivery networks, providing care without referring patients to specialists and administrating to hospitals. Consequently, PCPs' power to pursue the newly conceptualized ideal treatment influences other arenas of specialty, such as EMPs. On the other hand, EMPs develop preferred treatment which is formulated through their medical school education and clinical experiences. The preferred treatment is associated with time because EMPs have to treat acute conditions of their patients within a limited amount of time. However, EMPs sometimes cannot complete their preferred treatment because they have to send their patient back to the patients' contracted PCPs in order to save health care expenditure. Technocrats implemented the engineering concept of quality control, and the concept is incorporated into the principle of managed care plans, and preventive medicine. As a result, the managed care plan networks become like production lines of large manufacturing factories, and PCPs work as laborers to maintain the bodies of enrollees in healthy conditions

Department of Orthopaedic Surgery, Okayama University Medical School, Japan.

Epiphyseal growth cartilage of the femoral head obtained from Wistar rats was investigated after fixation by a rapid-freezing and freeze-substitution. Liquid helium was used in order to achieve a fast cooling rate without ice-crystal damage during the rapid freezing. Use of the rapid-freezing and freeze-substitution procedure provided better ultrastructural preservation of the chondrocyte than conventional chemical fixation methods. This procedure allowed a more reliable approach to electron probe analysis. X-ray microanalysis of the specimens confirmed that calcium is not detected in the initial matrix vesicles as a result of the freezing process. The results suggest that calcium release from precipitates occurs in the free state without any detectable formation of hydroxyapatite at the initial stage of calcification and that calcium is not tightly bound to the matrix vesicles.</p