論文検索サイト

システム/制御/情報 Vol. 33 (2020), No. 9

ISIJ International
belloff
オンライン版ISSN: 2185-811X
冊子版ISSN: 1342-5668
発行機関: THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS (ISCIE)

Backnumber

  1. Vol. 37 (2024)

  2. Vol. 36 (2023)

  3. Vol. 35 (2022)

  4. Vol. 34 (2021)

  5. Vol. 33 (2020)

  6. Vol. 32 (2019)

  7. Vol. 31 (2018)

  8. Vol. 30 (2017)

  9. Vol. 29 (2016)

  10. Vol. 28 (2015)

  11. Vol. 27 (2014)

  12. Vol. 26 (2013)

  13. Vol. 25 (2012)

  14. Vol. 24 (2011)

  15. Vol. 23 (2010)

  16. Vol. 22 (2009)

  17. Vol. 21 (2008)

  18. Vol. 20 (2007)

  19. Vol. 19 (2006)

  20. Vol. 18 (2005)

  21. Vol. 17 (2004)

  22. Vol. 16 (2003)

  23. Vol. 15 (2002)

  24. Vol. 14 (2001)

  25. Vol. 13 (2000)

  26. Vol. 12 (1999)

  27. Vol. 11 (1998)

  28. Vol. 10 (1997)

  29. Vol. 9 (1996)

  30. Vol. 8 (1995)

  31. Vol. 7 (1994)

  32. Vol. 6 (1993)

  33. Vol. 5 (1992)

  34. Vol. 4 (1991)

  35. Vol. 3 (1990)

  36. Vol. 2 (1989)

  37. Vol. 1 (1988)

システム/制御/情報 Vol. 33 (2020), No. 9

Concept and Design of Functional Programming for Interactive Art Polyphonic Jump!

Ichiroh Kanaya

pp. 253-258

抄録

This article presents the mathematical background of general interactive systems. The first principle of designing a large system is “divide and rule,” which implies that we could possibly reduce human error if we divided a large system in smaller subsystems. Interactive systems are, however, often composed of many subsystems that are organically connected to one another and thus extremely difficult to divide. In other words, we cannot apply a traditional mechanism of mathematical functions to the programming of interactive systems. We, however, can overcome this difficulty by applying a framework of category theory to the programming, but this requires highly abstract mathematics, which is not very popular. In this article we introduce the fundamental idea of the category theory using only λ-calculus, and then demonstrate how it can be used in the practical design of an interactive system. Finally, we mention how this discussion relates to Kleisli category in mathematics.

ブックマーク

SNSによる共有

論文タイトル

逐次近傍探索付列生成法によるスラブ山分け問題求解技術開発

黒川 哲明

pp. 259-265

抄録

In the steel industry, the role of the slab yard which is the intermediate process between the steelmaking and the rolling is becoming significant. By promoting the logistics from steelmaking to rolling, we can reduce the cost of fuel to reheating and improve the productivity. In the yard slabs are expected to be sorted into piles as little transport as possible and as high as possible. It is the slab stacking problem (SSP). In the previous paper, we formulated SSP with the 0-1 programming. It turned out that this formulation gets lack of memory with large scale problem. For settling this problem, in this paper, we apply the column generation method to SSP. But, since SSP is 0-1 integer problem, the optimal error remains. So we developed the method of local search for the neighborhood of the generating columns using the dual optimal solution to obtain the exact solution. Finally, we show the effectiveness of this method with the computational experiment using the real operational data.

ブックマーク

SNSによる共有

論文タイトル

逐次近傍探索付列生成法によるスラブ山分け問題求解技術開発

この機能はログイン後に利用できます。
下のボタンをクリックしてください。

詳細検索

論文タイトル

著者

抄録

ジャーナル名

出版日を西暦で入力してください(4桁の数字)。

検索したいキーワードを入力して下さい