Multiparty Session Programming with Global Protocol Combinators (Artifact)

In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. This artifact is the source code of ocaml-mpst, with all the examples and benchmarks discussed in the paper

Fish fauna off sandy beaches, in an estuary, and in a seagrass bed in Hiroshima Bay, Seto Inland Sea

From February 2015 to January 2016, we collected fish monthly using a beach seine net at two sandy beaches (B1 and B2), in a muddy sand estuary (MS), and in a seagrass bed (SG) in Hiroshima Bay, western Japan. A total of 2920 fish in 50 species were collected. The number of species, individuals, and biomass (total weight) were greater at SG and MS than at B1 and B2. The numerically most dominant species were Favonigobius gymnauchen and Tridentiger trigonocephalus at B1 and B2, F. gymnauchen and Acentrogobius sp. 2 at MS, and Plotosus japonicus and Rudarius ercodes at SG. Fish diversity also was higher at MS and SG than at B1 and B2 throughout the year. Fish assemblages and their patterns varied between sites, indicating that each habitat plays an important role as the nursery ground for different fishes

Role of membrane transport of water and glycerol in the freeze tolerance of the rice stem borer, Chilo suppressalis Walker (Lepidoptera: Pyralidae)

Overwintering larvae of the rice stem borer, Chilo suppressalis accumulate glycerol and are freezing tolerant to about -25°C. However, non-diapausing larvae cannot accumulate glycerol and are killed by freezing. We compared the extent of tissue damage, the effects of glycerol concentration, and the transport of glycerol and water in fat body tissues from these larvae at selected freezing temperatures. Tissues from overwintering larvae, but not non-diapausing larvae, survive when frozen at -20°C with 0.25M glycerol, but the protection afforded by glycerol is offset by the water-channel inhibitor mercuric chloride. Glycerol in higher concentration (0.75M) affords some protection even to the fat body of non-diapausing larvae. Radiotracer assays of overwintering larvae show that water leaves the tissues during freezing while glycerol enters, and that mercuric chloride disrupts this process. Transport is also disrupted after lethal freezing at -35°C. Therefore, membrane transport of water and glycerol is involved in the avoidance of freezing injury to fat body cells of the rice stem borer, apparently by mediating the replacement of water with glycerol in freezing-tolerant tissues.</p

Precise control and measurement of single molecular devices

科学研究費助成事業 研究成果報告書：若手研究(B)2012-2014 課題番号：2471014