Report on a User Test and Extension of a Type Debugger for Novice Programmers

A type debugger interactively detects the expressions that cause type errors. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers often get in trouble when they think about how to fix type errors by reading the messages given by the type debugger. In this paper, we analyze the user tests of a type debugger and report problems of the current type debugger. We then extend the type debugger to address these problems. Specifically, we introduce expression-specific error messages and language levels. Finally, we show type errors that we think are difficult to explain to novice programmers. The subjects of the user tests were 40 novice students belonging to the department of information science at Ochanomizu University.Comment: In Proceedings TFPIE 2014, arXiv:1412.473

The Measurement of Nation Images Based on Content Analysis and Text-Mining of Twitter Messages

本報告は、国のイメージの測定に向けて行なったいくつかの試行的な測定結果を報告するものである。API を通じて収集したTwitterのメッセージを内容分析とテキストマイニングで分析し、さらにブログ検索のヒット件数で国と文化キーワードとの距離を計算した。いくつかの結果は、中国のイメージがきわめて悪いことを示していた。ただし、インターネット上のテキストを用いて国のイメージを測定することについて、方法論的な問題がなお残されていることも確認された

Longitudinal case study of fixed revenue accounting at a Japanese semiconductor distributor / Kenichi Suzuki, Kohsuke Matsuoka and Hiromune Ishii.

Fixed revenue accounting (FRA) is a management control system for relationship marketing strategy. Although FRA has been investigated among some Japanese companies since it was proposed in 2005, there has not been any study examining the effects FRA has on employees' awareness and behaviors based on longitudinal investigation. In this paper, we state a longitudinal case study about FRA at a Japanese semiconductor distributor during 2006–2014. We found that at Company A, only senior management used FRA to understand its strategy until 2012. After they became convinced FRA could guide relationship marketing, they started using FRA as a management control system in 2013 by binding it with its strategic plan and annual budgets. We interviewed with twelve core employees in 2014 and clarified that FRA motivated employees to accept relationship marketing strategy, deepened common understanding between departments, and facilitated an understanding of how to achieve goals

Spontaneous strain due to ferroquadrupolar ordering in UCu2_2Sn

The ternary uranium compound UCu$_2$Sn with a hexagonal ZrPt$_2$Al-type structure shows a phase transition at 16 K. We reported previously that huge lattice-softening is accompanied by the phase transition, which originates from ferroquadrupolar ordering of the ground state non-Kramers doublet $\Gamma_5$. A macroscopic strain, which is expected to emerge spontaneously, was not detected by powder X-ray diffraction in the temperature range between 4.2 and 300 K. To search the spontaneous strain, we have carried out thermal expansion measurements on a single-crystalline sample along the $a$, $b$ and $c$ axes using a capacitance technique with the resolution of $10^{-8}$. In the present experiment, we found the spontaneous $e_{xx} - e_{yy}$ strain which couples to the ground state doublet $\Gamma_5$. The effect of uniaxial pressure along the $a$, $b$ and $c$ axes on the transition temperature is also discussed.Comment: 4 pages, 5 figures, submitted to Phys. Rev.

ADJUSTMENT MOVEMENT TO BASEBALLS TOSSED AT DIFFERENT VELOCITIES IN BASEBALL BATTING. －FOCUS ON A SHIFT IN THE CENTRE OF GRAVITY－

The purpose of this study was to compare shifts in the centre of gravity (CG) when balls were tossed at different velocities, in order to obtain data for coaching purposes. The subjects were 10 experienced university baseball players. The subject batted basic toss up ball toward the centre field, both fastballs and slowballs. Data were collected using 2 high-speed cameras (NAC Inc., Japan). The movement timing and velocity of the center of gravity were computed. Batting motion was divided into three phases. The mean times in the 1st phase and 3rd phase were approximately the same for both fast and slow balls, but both the time and distance by which the CG moved in the 2nd phase were significantly greater for slow balls than for fast balls

KINEMATIC ANALYSIS OF BASEBALL BATTING MOTION WHEN BATTING PITCHES WITH VARYING VELOCITIES

The purpose of this study was to identify effect of moving the center of gravity of the body and rotating the torso when batting pitches with varying velocity. The subjects were 10 experienced university baseball player. The subjects batted toward the center field, both fastballs and slowballs, aimed near the center of the strike zone from a pitching machine. Data were collected using a three dimensional automatic motion analysis system (Vicon MX). The rotation angle of the torso and displacement of the center of gravity were computed. Due to differences in the shoulder rotation from the latter half of stepping leg touchdown through impact, we believe that the motion is adapted to pitch differences starting from the latter half of stepping leg touchdown. Comparing the shift in the center of gravity of the body during fastballs and slowballs, the forward motion and downward sinking of the center of gravity were significantly larger for slowballs