Oxygen Isotope Tracing of the Solar System.

第2回極域科学シンポジウム/第34回南極隕石シンポジウム 11月18日（金） 国立国語研究所 2階講

Synthesizing Imperative Programs from Examples Guided by Static Analysis

We present a novel algorithm that synthesizes imperative programs for introductory programming courses. Given a set of input-output examples and a partial program, our algorithm generates a complete program that is consistent with every example. Our key idea is to combine enumerative program synthesis and static analysis, which aggressively prunes out a large search space while guaranteeing to find, if any, a correct solution. We have implemented our algorithm in a tool, called SIMPL, and evaluated it on 30 problems used in introductory programming courses. The results show that SIMPL is able to solve the benchmark problems in 6.6 seconds on average.Comment: The paper is accepted in Static Analysis Symposium (SAS) '17. The submission version is somewhat different from the version in arxiv. The final version will be uploaded after the camera-ready version is read

Micro-Scale Distributions of Major and Trace Elements in Chondrites

The Hayabusa spacecraft has successfully returned to Earth after two touchdowns on the surface of Asteroid 25143 Itokawa. This asteroid is classified as an S-type and inferred to consist of materials similar to ordinary chondrites or primitive achondrites [1]. More than 1500 particles have been identified consisting of olivine, pyroxene, plagioclase, Fe sulfide and Fe metal, with compositions consistent with being of LL origin. While the chondritic components are familiar to us, the level of detail to which the Itokawa samples will be exposed to will be unprecedented given that the samples are reasonably large and accessible to a wide variety of techniques. In many ways, we expect that our knowledge base of the comparator chondrites will be found to be wanting. Chondrites are the building blocks of the solar system. However, these rocks are essentially breccias and they are quite variable in bulk element compositions as well as compositions of the individual components. We have initiated a program of analysis for chondrites focusing on major and trace element distributions between the mineral components and the matrix. The issues to be addressed include the homogeneity of matrix and chondrule components and the representivity of any given sample to the bulk meteorite. This may be particularly important given the limited numbers of Itokawa grains that may be available for a specific analysis. As an initial study, we have taken thin sections of carbonaceous chondrites to study the representivity of the matrix compositions. Spot locations were constrained to limited regions of the sections so as to assess the variability of a local scale. Further work will be required to assess variability over a centimeter scale

Quasi-Periodic Pulsations during the Impulsive and Decay phases of an X-class Flare

Quasi-periodic pulsations (QPP) are often observed in X-ray emission from solar flares. To date, it is unclear what their physical origins are. Here, we present a multi-instrument investigation of the nature of QPP during the impulsive and decay phases of the X1.0 flare of 28 October 2013. We focus on the character of the fine structure pulsations evident in the soft X-ray time derivatives and compare this variability with structure across multiple wavelengths including hard X-ray and microwave emission. We find that during the impulsive phase of the flare, high correlations between pulsations in the thermal and non-thermal emissions are seen. A characteristic timescale of ~20s is observed in all channels and a second timescale of ~55s is observed in the non-thermal emissions. Soft X-ray pulsations are seen to persist into the decay phase of this flare, up to 20 minutes after the non-thermal emission has ceased. We find that these decay phase thermal pulsations have very small amplitude and show an increase in characteristic timescale from ~40s up to ~70s. We interpret the bursty nature of the co-existing multi-wavelength QPP during the impulsive phase in terms of episodic particle acceleration and plasma heating. The persistent thermal decay phase QPP are most likely connected with compressive MHD processes in the post-flare loops such as the fast sausage mode or the vertical kink mode.Comment: 7 pages, 4 figures, 1 tabl

Differential cross section analysis in kaon photoproduction using associated legendre polynomials

Angular distributions of differential cross sections from the latest CLAS data sets \cite{bradford}, for the reaction ${\gamma}+p {\to} K^{+} + {\Lambda}$ have been analyzed using associated Legendre polynomials. This analysis is based upon theoretical calculations in Ref. \cite{fasano} where all sixteen observables in kaon photoproduction can be classified into four Legendre classes. Each observable can be described by an expansion of associated Legendre polynomial functions. One of the questions to be addressed is how many associated Legendre polynomials are required to describe the data. In this preliminary analysis, we used data models with different numbers of associated Legendre polynomials. We then compared these models by calculating posterior probabilities of the models. We found that the CLAS data set needs no more than four associated Legendre polynomials to describe the differential cross section data. In addition, we also show the extracted coefficients of the best model.Comment: Talk given at APFB08, Depok, Indonesia, August, 19-23, 200

Discovery of spatial periodicities in a coronal loop using automated edge-tracking algorithms

A new method for automated coronal loop tracking, in both spatial and temporal domains, is presented. Applying this technique to TRACE data, obtained using the 171 Å filter on 1998 July 14, we detect a coronal loop undergoing a 270 s kink-mode oscillation, as previously found by Aschwanden et al. However, we also detect flare-induced, and previously unnoticed, spatial periodicities on a scale of 3500 km, which occur along the coronal loop edge. Furthermore, we establish a reduction in oscillatory power for these spatial periodicities of 45% over a 222 s interval. We relate the reduction in detected oscillatory power to the physical damping of these loop-top oscillations

Witten's Invariants of Rational Homology Spheres at Prime Values of KK and Trivial Connection Contribution

We establish a relation between the coefficients of asymptotic expansion of trivial connection contribution to Witten's invariant of rational homology spheres and the invariants that T.~Ohtsuki extracted from Witten's invariant at prime values of $K$. We also rederive the properties of prime $K$ invariants discovered by H.~Murakami and T.~Ohtsuki. We do this by using the bounds on Taylor series expansion of the Jones polynomial of algebraically split links, studied in our previous paper. These bounds are enough to prove that Ohtsuki's invariants are of finite type. The relation between Ohtsuki's invariants and trivial connection contribution is verified explicitly for lens spaces and Seifert manifolds.Comment: 32 pages, no figures, LaTe

25 Years of Self-Organized Criticality: Numerical Detection Methods

The detection and characterization of self-organized criticality (SOC), in both real and simulated data, has undergone many significant revisions over the past 25 years. The explosive advances in the many numerical methods available for detecting, discriminating, and ultimately testing, SOC have played a critical role in developing our understanding of how systems experience and exhibit SOC. In this article, methods of detecting SOC are reviewed; from correlations to complexity to critical quantities. A description of the basic autocorrelation method leads into a detailed analysis of application-oriented methods developed in the last 25 years. In the second half of this manuscript space-based, time-based and spatial-temporal methods are reviewed and the prevalence of power laws in nature is described, with an emphasis on event detection and characterization. The search for numerical methods to clearly and unambiguously detect SOC in data often leads us outside the comfort zone of our own disciplines - the answers to these questions are often obtained by studying the advances made in other fields of study. In addition, numerical detection methods often provide the optimum link between simulations and experiments in scientific research. We seek to explore this boundary where the rubber meets the road, to review this expanding field of research of numerical detection of SOC systems over the past 25 years, and to iterate forwards so as to provide some foresight and guidance into developing breakthroughs in this subject over the next quarter of a century.Comment: Space Science Review series on SO