Massive ground ice found in the Barrow Permafrost Tunnel at 3–7 m depths from the surface has been interpreted as an ice wedge and used to reconstruct early Holocene environmental changes. To better understand the development of this ground ice, we conducted radiocarbon dating for 34 samples of plant remains from the massive ground ice and underlying sediment layer. A significantly large gap in the measured radiocarbon ages (more than 24 ka) between massive ice and the underlying sediment layer throughout the tunnel profile suggested at least two possibilities. One is that the lower and older sediment layer had thrust upwards at the boundary between intruding ice wedge and adjacent sediment, and the growing ice had pushed the sediment sideways. Another is that erosional events had removed surface materials at about 12–36 ka BP (14–41 cal ka BP) before the overlaying sediment layer with massive ground ice developed. The overall distribution of radiocarbon ages from the massive ice supported the ice-wedge hypothesis as a formation mechanism, although our results showed several age inversions and large fluctuations. Dating of densely spaced samples revealed two ground-ice regions with similar ages around 11–11.5 and 10–10.5 ka BP divided by a relatively narrow region of transitional ages along the tunnel long-axis. This distribution may be explained by a possible misalignment between the sampling direction and the ice-wedge growth line or by intermittent ice growth with repeated cracking at more random locations than the classic ice-wedge growth model suggested.

In order to clarify and visualize the real state of the structural performances of ships in operation and establish a more optimal, data-driven framework for ship design, construction and operation, an industry-academia joint R&D project on the digital twin for ship structures (DTSS) was conducted in Japan. This paper presents the major achievements of the project. The DTSS aims to grasp the stress responses over the whole ship structure in waves by data assimilation that merges hull monitoring and numerical simulation. Three data assimilation methods, namely, the wave spectrum method, Kalman filter method, and inverse finite element method were used, and their effectiveness was examined through model and full-scale ship measurements. Methods for predicting short-term extreme responses and long-term cumulative fatigue damage were developed for navigation and maintenance support using statistical approaches. In comparison with conventional approaches, response predictions were significantly improved by DTSS using real response data in encountered waves. Utilization scenarios for DTSS in the maritime industry were presented from the viewpoints of navigation support, maintenance support, rule improvement, and product value improvement, together with future research needs for implementation in the maritime industry.

Strawberry contains many bioactive compounds such as vitamin C and polyphenols as well as folate, a vitamin that is especially important for women of childbearing age. We investigated the effects of the acute consumption of strawberry on the serum levels of vitamin C and folate, and on the antioxidant potential of low-density lipoprotein (LDL). In a randomised, placebo-controlled, double-blind, crossover study, twenty-three healthy female volunteers (age 22⋅5 ± 1⋅4 years) ingested 500 g of a strawberry purée beverage or a sugar content-matched placebo beverage. Blood samples were collected at fasting and at 0⋅5, 1, 2 and 4 h post-ingestion. The serum concentrations of vitamin C and folate were significantly elevated from 0⋅5 to 4 h after the strawberry beverage ingestion (P < 0⋅001); the levels peaked at 2 h, with peak levels of 15⋅0 ± 2⋅5 μg/ml for vitamin C and 14⋅4 ± 7⋅0 ng/ml for folate. Notably, at 1 h after the strawberry beverage ingestion, the LDL oxidation lag time was significantly prolonged (P < 0⋅05), suggesting that the antioxidant potential of LDL was increased. After the ingestion of either beverage, the serum levels of glucose and insulin reached a peak at 0⋅5 h and then quickly returned to baseline levels. These results suggest that strawberries are a useful source of vitamin C and folate and may help enhance the antioxidant potential of LDL in healthy young women.

VERA has been regularly conducting astrometry of Galactic maser sources for ∼ 20 years, producing more than 100 measurements of parallaxes and proper motions of star-forming regions as well as AGB stars. By combining the observational results obtained by VLBA BeSSeL, EVN, and LBA, maser astrometry provides a unique opportunity to explore the fundamental structure of the Galaxy. Here we present the view of the Galaxy revealed by the maser astrometry, and also discuss the importance of maser astrometry in the era of GAIA by comparing the results obtained by VLBI and GAIA. We also present our view of “proper motions toward the future” of the relevant field, expected in the next decade based on global collaborations.

The occurrence of anorectal malformations (ARM) is thought to be reduced with sufficient folate intake. However, there is no apparent evidence. We focused on enzyme cofactors for one-carbon metabolism, including folate (vitamin B9), vitamin B6 and vitamin B12, and explored the association between maternal combined intake of these B vitamins and the risk of ARM. Using baseline data from a Japanese nationwide birth cohort study between 2011 and 2014, we analysed data of 89 235 women (mean age at delivery = 31·2 years) who delivered singleton live births without chromosomal anomalies. Information on dietary intake was obtained via a FFQ focused on early pregnancy and used to estimate B vitamin intake. We also collected information on the frequency of folic acid supplement use. ARM occurrence was ascertained from medical records. We identified forty-three cases of ARM diagnosed up to the first month after birth (4·8 per 10 000 live births). In terms of individual intake of the respective B vitamins, high vitamin B6 intake was non-significantly associated with reduced odds of ARM. Compared with women in the low combined B vitamin intake group, the OR of having an infant with ARM was 0·4 (95 % CI 0·2, 1·0) in the high intake group (folate ≥400 μg/d, and upper half of vitamin B6 and/or vitamin B12). In conclusion, our cohort analysis suggested an inverse association between the combined intake of one-carbon metabolism-related B vitamins in early pregnancy and ARM occurrence.

The pathogenesis of congenital diaphragmatic hernia (CDH) is largely unknown; however, vitamin A seems to play a role in diaphragmatic development. Previous case–control studies reported that maternal dietary vitamin A intake was inversely associated with the risk of CDH. To our knowledge, however, there is no prospective evidence regarding this association. Our aim was to examine whether maternal intake of vitamin A was associated with CDH occurrence. Baseline data, from the Japan nationwide birth cohort study (2011–2014) of 89 658 mothers (mean age at delivery = 31·2 years) who delivered singleton live births, were analysed. We assessed dietary habits using an FFQ focused on the first trimester and estimated the daily intake of total vitamin A (retinol activity equivalents), retinol, provitamin A carotenoids and vegetables. The occurrence of CDH was ascertained from medical records. A total of forty cases of CDH were documented. The adjusted OR of CDH occurrence for the high total vitamin A intake category (median = 468 μg/d) was 0·6 (95 % CI 0·3, 1·2) with reference to the low intake category (230 μg/d). When we restricted to mothers with a prepregnancy BMI of 18·5–24·9 kg/m2, vitamin A intake was inversely associated with the risk of their children being born with CDH (OR 0·5, 95 % CI 0·2, 1·0). Even given the limited number of cases in the study, our findings provide additional evidence to link vitamin A with CDH.

Current evidence suggests that the aetiology of congenital gastrointestinal (GI) tract atresia is multifactorial, and not based solely on genetic factors. However, there are no established modifiable risk factors for congenital GI tract atresia. We used data from a Japanese nationwide birth cohort study launched in 2011, and examined whether fish consumption in early pregnancy was associated with congenital GI tract atresia. We analysed data of 89 495 women (mean age at delivery=31·2 years) who delivered singleton live births without chromosomal anomalies. Based on the results of the FFQ, we estimated the daily intake of fish and n-3 PUFA consumption in early pregnancy. We defined a composite outcome (oesophageal atresia, duodenal atresia, jejunoileal atresia and/or anorectal malformation) as congenital GI tract atresia. In this population, median fish intake was 31·9 g/d, and seventy-four cases of congenital GI tract atresia were identified. Fish consumption in early pregnancy was inversely associated with the composite outcome (multivariable-adjusted OR for the high v. low consumption category=0·5, 95 % CI 0·3, 1·0). For all the specific types of atresia, decreased OR were observed in the high consumption category, although not statistically significant. Reduced atresia occurrence was observed even beyond the US Food and Drug Administration’s recommended consumption of no more than 340 g/week. Also, n-3 PUFA-rich fish and n-3 PUFA consumptions tended to be inversely associated with atresia. Fish consumption in early pregnancy may be a preventive factor for congenital GI tract atresia.

In this proceeding paper, we introduce the recent results of Galactic maser astrometry by mainly focusing on those obtained with Japanese VLBI array VERA. So far we have obtained parallaxes for 86 sources including preliminary results, and combination with the data obtained with VLBA/BeSSeL provides astrometric results for 159 sources. With these most updated results we conduct preliminary determinations of Galactic fundamental parameters, obtaining R0 = 8.16 ± 0.26 kpc and Θ0 = 237 ± 8 km/s. We also derive the rotation curve of the Milky Way Galaxy and confirm the previous results that the rotation curve is fairly flat between 5 kpc and 16 kpc, while a remarkable deviation is seen toward the Galactic center region. In addition to the results on the Galactic structure, we also present brief overviews on other science topics related to masers conducted with VERA, and also discuss the future prospect of the project.

We have detected [C I] 3P1–3P0 emissions in the gaseous debris disks of 49 Ceti and β Pictoris with the 10 m telescope of the Atacama Submillimeter Telescope Experiment, which is the first detection of such emissions. The line profiles of [C I] are found to resemble those of CO(J=3–2) observed with the same telescope and the Atacama Large Millimeter/submillimeter Array. This result suggests that atomic carbon (C) coexists with CO in the debris disks, and is likely formed by the photodissociation of CO. Assuming an optically thin [C I] emission with the excitation temperature ranging from 30 to 100 K, the column density of C is evaluated to be (2.2 ± 0.2) × 1017 and (2.5 ± 0.7) × 1016 cm−2 for 49 Ceti and β Pictoris, respectively. The C/CO column density ratio is thus derived to be 54 ± 19 and 69 ± 42 for 49 Ceti and β Pictoris, respectively. These ratios are higher than those of molecular clouds and diffuse clouds by an order of magnitude. The unusually high ratios of C to CO are likely attributed to a lack of H2 molecules needed to reproduce CO molecules efficiently from C. This result implies a small number of H2 molecules in the gas disk; i.e., there is an appreciable contribution of secondary gas from dust grains.

We formulate and conduct the time-integration of time evolution equation for the giant molecular cloud mass function (GMCMF) including the cloud-cloud collision (CCC) effect. Our results show that the CCC effect is only limited in the massive-end of the GMCMF and indicate that future high resolution and sensitivity radio observations may constrain giant molecular cloud (GMC) timescales by observing the GMCMF slope in the lower mass regime.

We propose a new method to verify that a higher-order, tree-processing functional program conforms to an input/output specification. Our method reduces the verification problem to multiple verification problems for higher-order multi-tree transducers, which are then transformed into higher-order recursion schemes and model-checked. Unlike previous methods, our new method can deal with arbitrary higher-order functional programs manipulating algebraic data structures, as long as certain invariants on intermediate data structures are provided by a programmer. We have proved the soundness of the method and implemented a prototype verifier.

We consider a two-dimensional reflecting random walk on the non-negative integer quadrant. It is assumed that this reflecting random walk has skip-free transitions. We are concerned with its time-reversed process assuming that the stationary distribution exists. In general, the time-reversed process may not be a reflecting random walk. In this paper, we derive necessary and sufficient conditions for the time-reversed process also to be a reflecting random walk. These conditions are different from but closely related to the product form of the stationary distribution.